Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,465 workflow runs
4,465 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #493: completed by leanprover-community-mathlib4-bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #492: completed by leanprover-community-mathlib4-bot
15s
15s
chore: adaptations for nightly-2026-01-08 Lean Action CI #1459: Commit 6e98fe8 pushed by leanprover-community-mathlib4-bot
7m 5s nightly-testing
nightly-testing
7m 5s
chore: adaptations for nightly-2026-01-08 Lean Action CI #1458: Pull request #251 opened by leanprover-community-mathlib4-bot
8m 15s bump/nightly-2026-01-08
bump/nightly-2026-01-08
8m 15s
chore: adaptations for nightly-2026-01-08 Check PR title for commit convention #500: Pull request #251 opened by leanprover-community-mathlib4-bot
7s bump/nightly-2026-01-08
bump/nightly-2026-01-08
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #491: completed by leanprover-community-mathlib4-bot
26s
26s
chore: bump to nightly-2026-01-08 with mathlib at nightly-testing-202… Lean Action CI #1457: Commit 6ac7eb4 pushed by leanprover-community-mathlib4-bot
8m 52s nightly-testing
nightly-testing
8m 52s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #577: Scheduled
1m 13s main
main
1m 13s
Merge main to nightly-testing Merge main to nightly-testing #917: Scheduled
1m 0s main
main
1m 0s
feat: tauSTr Lean Action CI #1456: Pull request #220 synchronize by PieterCuijpers
Action required PieterCuijpers:tauTr
PieterCuijpers:tauTr
Action required
feat: tauSTr Check PR title for commit convention #499: Pull request #220 synchronize by PieterCuijpers
Action required PieterCuijpers:tauTr
PieterCuijpers:tauTr
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #576: Scheduled
23s main
main
23s
Merge main to nightly-testing Merge main to nightly-testing #916: Scheduled
51s main
main
51s
Merge main to nightly-testing Merge main to nightly-testing #915: Scheduled
52s main
main
52s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #490: completed by ctchou
Skipped
Skipped
feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form Check PR title for commit convention #498: Pull request #249 edited by ctchou
5s ctchou:na-pair
ctchou:na-pair
5s
feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form Check PR title for commit convention #497: Pull request #249 synchronize by ctchou
4s ctchou:na-pair
ctchou:na-pair
4s
feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form Lean Action CI #1455: Pull request #249 synchronize by ctchou
8m 12s ctchou:na-pair
ctchou:na-pair
8m 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #489: completed by ctchou
1s
1s
feat: prove that regular languages are closed under Kleene star Check PR title for commit convention #496: Pull request #241 edited by ctchou
5s ctchou:na-kstar
ctchou:na-kstar
5s
feat: prove that regular languages are closed under Kleene star Lean Action CI #1454: Pull request #241 synchronize by ctchou
8m 33s ctchou:na-kstar
ctchou:na-kstar
8m 33s
feat: prove that regular languages are closed under Kleene star Check PR title for commit convention #495: Pull request #241 synchronize by ctchou
6s ctchou:na-kstar
ctchou:na-kstar
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #488: completed by ctchou
1s
1s
feat: prove that regular languages are closed under concatenation Lean Action CI #1453: Pull request #239 synchronize by ctchou
8m 12s ctchou:na-total
ctchou:na-total
8m 12s
feat: prove that regular languages are closed under concatenation Check PR title for commit convention #494: Pull request #239 synchronize by ctchou
5s ctchou:na-total
ctchou:na-total
5s