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
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1839: Scheduled
23s main
main
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4112: completed by ctchou
1s
1s
feat(Language): characterizing regular languages using syntactic monoids Check PR title for commit convention #4281: Pull request #903 synchronize by ctchou
7s ctchou:syntactic-monoid
ctchou:syntactic-monoid
7s
feat(Language): characterizing regular languages using syntactic monoids Lean Action CI #5350: Pull request #903 synchronize by ctchou
9m 31s ctchou:syntactic-monoid
ctchou:syntactic-monoid
9m 31s
Merge main to nightly-testing Merge main to nightly-testing #2916: Scheduled
46s main
main
46s
ci: cancel superseded PR runs of Lean Action CI Check PR title for commit convention #4280: Pull request #908 edited by jessealama
8s jessealama:ci/lean-action-concurrency
jessealama:ci/lean-action-concurrency
8s
ci: cancel superseded PR runs of Lean Action CI Check PR title for commit convention #4279: Pull request #908 edited by jessealama
6s jessealama:ci/lean-action-concurrency
jessealama:ci/lean-action-concurrency
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4111: completed by jessealama
9s
9s
ci: cancel superseded PR runs of Lean Action CI Check PR title for commit convention #4278: Pull request #908 synchronize by jessealama
7s jessealama:ci/lean-action-concurrency
jessealama:ci/lean-action-concurrency
7s
ci: cancel superseded PR runs of Lean Action CI Lean Action CI #5349: Pull request #908 synchronize by jessealama
5m 1s jessealama:ci/lean-action-concurrency
jessealama:ci/lean-action-concurrency
5m 1s
ci: cancel superseded PR runs of Lean Action CI Check PR title for commit convention #4277: Pull request #908 edited by jessealama
5s jessealama:ci/lean-action-concurrency
jessealama:ci/lean-action-concurrency
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4110: completed by jessealama
2s
2s
ci: cancel superseded PR runs of Lean Action CI Lean Action CI #5348: Pull request #908 opened by jessealama
10m 47s jessealama:ci/lean-action-concurrency
jessealama:ci/lean-action-concurrency
10m 47s
ci: cancel superseded PR runs of Lean Action CI Check PR title for commit convention #4276: Pull request #908 opened by jessealama
7s jessealama:ci/lean-action-concurrency
jessealama:ci/lean-action-concurrency
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1838: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #2915: Scheduled
1m 12s main
main
1m 12s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1837: Scheduled
27s main
main
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4109: completed by mathlib-nightly-testing Bot
27s
27s
Merge main into nightly-testing Lean Action CI #5347: Commit d47bf9a pushed by mathlib-nightly-testing Bot
9m 22s nightly-testing
nightly-testing
9m 22s
Merge main to nightly-testing Merge main to nightly-testing #2914: 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. #4108: completed by lengyijun
10s
10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4107: completed by lengyijun
7s
7s
feat: Terminating FullEta Lean Action CI #5346: Pull request #822 synchronize by lengyijun
5m 27s awesome-lambda-calculus:sn_fulleta
awesome-lambda-calculus:sn_fulleta
5m 27s
feat: Terminating FullEta Check PR title for commit convention #4275: Pull request #822 synchronize by lengyijun
8s awesome-lambda-calculus:sn_fulleta
awesome-lambda-calculus:sn_fulleta
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4106: completed by lengyijun
7s
7s