Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge main to nightly-testing Merge main to nightly-testing #1853: Scheduled
1m 15s main
main
1m 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2151: completed by mathlib-nightly-testing Bot
20s
20s
Merge main into nightly-testing Lean Action CI #3320: Commit 45d50d0 pushed by mathlib-nightly-testing Bot
9m 50s nightly-testing
nightly-testing
9m 50s
Merge main to nightly-testing Merge main to nightly-testing #1852: Scheduled
1m 1s main
main
1m 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2150: completed by github-merge-queue Bot
1s
1s
chore: route Zulip notifications to nightly-testing-cslib (#548) Shellcheck #5: Commit aa62343 pushed by github-merge-queue Bot
15s main
main
15s
chore: route Zulip notifications to nightly-testing-cslib (#548) Run TODO to Issue #251: Commit aa62343 pushed by github-merge-queue Bot
19s main
main
19s
chore: route Zulip notifications to nightly-testing-cslib (#548) Build and Deploy Documentation #165: Commit aa62343 pushed by github-merge-queue Bot
1h 34m 30s main
main
1h 34m 30s
chore: route Zulip notifications to nightly-testing-cslib (#548) Lean Action CI #3319: Commit aa62343 pushed by github-merge-queue Bot
7m 57s main
main
7m 57s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2149: completed by chenson2018
1s
1s
Check PR title for commit convention Check PR title for commit convention #2192: Merge group checks requested
15s
15s
Lean Action CI Lean Action CI #3318: Merge group checks requested
8m 17s
8m 17s
Merge main to nightly-testing Merge main to nightly-testing #1851: Scheduled
1m 3s main
main
1m 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2148: completed by chenson2018
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2147: completed by kim-em
1s
1s
chore: route Zulip notifications to nightly-testing-cslib Check PR title for commit convention #2191: Pull request #548 synchronize by kim-em
5s zulip-split-channel
zulip-split-channel
5s
chore: route Zulip notifications to nightly-testing-cslib Lean Action CI #3317: Pull request #548 synchronize by kim-em
5m 4s zulip-split-channel
zulip-split-channel
5m 4s
chore: route Zulip notifications to nightly-testing-cslib Shellcheck #4: Pull request #548 synchronize by kim-em
13s zulip-split-channel
zulip-split-channel
13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2146: completed by kim-em
1s
1s
chore: route Zulip notifications to nightly-testing-cslib Shellcheck #3: Pull request #548 opened by kim-em
7s zulip-split-channel
zulip-split-channel
7s
chore: route Zulip notifications to nightly-testing-cslib Lean Action CI #3316: Pull request #548 opened by kim-em
8m 41s zulip-split-channel
zulip-split-channel
8m 41s
chore: route Zulip notifications to nightly-testing-cslib Check PR title for commit convention #2190: Pull request #548 opened by kim-em
14s zulip-split-channel
zulip-split-channel
14s
Merge main to nightly-testing Merge main to nightly-testing #1850: Scheduled
1m 16s main
main
1m 16s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2145: completed by mathlib-nightly-testing Bot
1s
1s
chore: bump mathlib to 6cf3ab1, fix breaking changes Lean Action CI #3315: Pull request #547 synchronize by chenson2018
2h 40m 12s bump-mathlib/fix-6cf3ab1
bump-mathlib/fix-6cf3ab1
2h 40m 12s