Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: cleanup of Cslib.Languages.LambdaCalculus.LocallyNameless.* Check PR title for commit convention #518: Pull request #250 synchronize by chenson2018
8s chenson2018:lc-cleanup
chenson2018:lc-cleanup
8s
chore: cleanup of Cslib.Languages.LambdaCalculus.LocallyNameless.* Lean Action CI #1481: Pull request #250 synchronize by chenson2018
In progress chenson2018:lc-cleanup
chenson2018:lc-cleanup
In progress
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #584: Scheduled
50s main
main
50s
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 #517: Pull request #249 edited by ctchou
5s ctchou:na-pair
ctchou:na-pair
5s
feat: prove that regular languages are closed under Kleene star Check PR title for commit convention #516: Pull request #241 edited by ctchou
7s ctchou:na-kstar
ctchou:na-kstar
7s
Merge main to nightly-testing Merge main to nightly-testing #927: Scheduled
1m 1s main
main
1m 1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #583: Scheduled
52s main
main
52s
Merge main to nightly-testing Merge main to nightly-testing #926: 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. #515: 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. #514: completed by leanprover-community-mathlib4-bot
14s
14s
chore: adaptations for nightly-2026-01-09 Lean Action CI #1480: Commit fc194b7 pushed by leanprover-community-mathlib4-bot
6m 25s nightly-testing
nightly-testing
6m 25s
chore: adaptations for nightly-2026-01-09 Lean Action CI #1479: Pull request #254 opened by leanprover-community-mathlib4-bot
7m 59s bump/nightly-2026-01-09
bump/nightly-2026-01-09
7m 59s
chore: adaptations for nightly-2026-01-09 Check PR title for commit convention #515: Pull request #254 opened by leanprover-community-mathlib4-bot
6s bump/nightly-2026-01-09
bump/nightly-2026-01-09
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #513: completed by leanprover-community-mathlib4-bot
19s
19s
chore: bump to nightly-2026-01-09 with mathlib at nightly-testing-202… Lean Action CI #1478: Commit 6ae9f25 pushed by leanprover-community-mathlib4-bot
8m 42s nightly-testing
nightly-testing
8m 42s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #582: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly-testing Merge main to nightly-testing #925: Scheduled
1m 1s main
main
1m 1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #581: Scheduled
20s main
main
20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #512: completed by leanprover-community-mathlib4-bot
15s
15s
Merge main into nightly-testing Lean Action CI #1477: Commit d835455 pushed by leanprover-community-mathlib4-bot
8m 8s nightly-testing
nightly-testing
8m 8s
Merge main to nightly-testing Merge main to nightly-testing #924: Scheduled
1m 0s main
main
1m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #511: completed by ctchou
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #510: completed by ctchou
1s
1s
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 #514: Pull request #249 synchronize by ctchou
8s ctchou:na-pair
ctchou:na-pair
8s
feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form Lean Action CI #1476: Pull request #249 synchronize by ctchou
6m 17s ctchou:na-pair
ctchou:na-pair
6m 17s