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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3037: completed by mathlib-nightly-testing Bot
20s
20s
chore: bump to nightly-2026-07-15 with mathlib at nightly-testing-202… Lean Action CI #4278: Commit 58e133e pushed by mathlib-nightly-testing Bot
10m 48s nightly-testing
nightly-testing
10m 48s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1530: Scheduled
1m 11s main
main
1m 11s
Merge main to nightly-testing Merge main to nightly-testing #2422: Scheduled
1m 11s main
main
1m 11s
Merge main to nightly-testing Merge main to nightly-testing #2421: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #2420: Scheduled
1m 12s main
main
1m 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3036: completed by chiyunhsu
1s
1s
feat(Computability/Languages): languages matching regular expressions are regular Check PR title for commit convention #3176: Pull request #720 synchronize by chiyunhsu
9s chiyunhsu:RegexIsRegular
chiyunhsu:RegexIsRegular
9s
feat(Computability/Languages): languages matching regular expressions are regular Lean Action CI #4277: Pull request #720 synchronize by chiyunhsu
6m 4s chiyunhsu:RegexIsRegular
chiyunhsu:RegexIsRegular
6m 4s
Merge main to nightly-testing Merge main to nightly-testing #2419: Scheduled
1m 11s main
main
1m 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3035: completed by chiyunhsu
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3034: completed by chiyunhsu
1s
1s
feat(Computability/Languages): languages matching regular expressions are regular Check PR title for commit convention #3175: Pull request #720 synchronize by chiyunhsu
10s chiyunhsu:RegexIsRegular
chiyunhsu:RegexIsRegular
10s
feat(Computability/Languages): languages matching regular expressions are regular Lean Action CI #4276: Pull request #720 synchronize by chiyunhsu
7m 44s chiyunhsu:RegexIsRegular
chiyunhsu:RegexIsRegular
7m 44s
feat(Computability/Languages): languages matching regular expressions are regular Check PR title for commit convention #3174: Pull request #720 edited by chiyunhsu
8s chiyunhsu:RegexIsRegular
chiyunhsu:RegexIsRegular
8s
feat(Computability/Languages): languages matching regular expressions are regular Check PR title for commit convention #3173: Pull request #720 opened by chiyunhsu
9s chiyunhsu:RegexIsRegular
chiyunhsu:RegexIsRegular
9s
feat(Computability/Languages): languages matching regular expressions are regular Lean Action CI #4275: Pull request #720 opened by chiyunhsu
6m 17s chiyunhsu:RegexIsRegular
chiyunhsu:RegexIsRegular
6m 17s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1529: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #2418: Scheduled
1m 11s main
main
1m 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3033: completed by mathlib-nightly-testing Bot
1s
1s
chore: Bump mathlib dependency to 783ccda Check PR title for commit convention #3172: Pull request #645 edited by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: Bump mathlib dependency to 783ccda Check PR title for commit convention #3171: Pull request #645 synchronize by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: Bump mathlib dependency to 783ccda Lean Action CI #4274: Pull request #645 synchronize by mathlib-nightly-testing Bot
9m 41s hopscotch/lkg-bump
hopscotch/lkg-bump
9m 41s
Bump mathlib to LKG Bump mathlib to LKG #109: Scheduled
4m 26s main
main
4m 26s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1528: Scheduled
21s main
main
21s