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 #2365: Scheduled
57s main
main
57s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2902: completed by m-ow
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2901: completed by lengyijun
1s
1s
feat(LocallyNameless/Untyped): new theorem lcAt_le Check PR title for commit convention #3039: Pull request #699 edited by lengyijun
6s awesome-lambda-calculus:lcat_le
awesome-lambda-calculus:lcat_le
6s
feat(untyped): the Leftmost Reduction Theorem Check PR title for commit convention #3038: Pull request #700 opened by m-ow
6s m-ow:leftmost-reduction
m-ow:leftmost-reduction
6s
feat(untyped): the Leftmost Reduction Theorem Lean Action CI #4143: Pull request #700 opened by m-ow
9m 50s m-ow:leftmost-reduction
m-ow:leftmost-reduction
9m 50s
feat(LocallyNameless/Untyped): new theorem lcAt_le Lean Action CI #4142: Pull request #699 opened by lengyijun
9m 18s awesome-lambda-calculus:lcat_le
awesome-lambda-calculus:lcat_le
9m 18s
feat(LocallyNameless/Untyped): new theorem lcAt_le Check PR title for commit convention #3037: Pull request #699 opened by lengyijun
6s awesome-lambda-calculus:lcat_le
awesome-lambda-calculus:lcat_le
6s
Merge main to nightly-testing Merge main to nightly-testing #2364: Scheduled
55s main
main
55s
Merge main to nightly-testing Merge main to nightly-testing #2363: 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. #2900: completed by mathlib-nightly-testing Bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2899: completed by mathlib-nightly-testing Bot
22s
22s
chore: adaptations for nightly-2026-07-07 Lean Action CI #4141: Commit 9abe71b pushed by mathlib-nightly-testing Bot
7m 46s nightly-testing
nightly-testing
7m 46s
chore: adaptations for nightly-2026-07-07 Check PR title for commit convention #3036: Pull request #698 opened by mathlib-nightly-testing Bot
7s bump/nightly-2026-07-07
bump/nightly-2026-07-07
7s
chore: adaptations for nightly-2026-07-07 Lean Action CI #4140: Pull request #698 opened by mathlib-nightly-testing Bot
10m 33s bump/nightly-2026-07-07
bump/nightly-2026-07-07
10m 33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2898: completed by chenson2018
28s
28s
test adaptations Lean Action CI #4139: Commit 3dcad38 pushed by chenson2018
7m 5s nightly-testing
nightly-testing
7m 5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2897: completed by chenson2018
6s
6s
2026-07-07 adaptations Lean Action CI #4138: Commit 3e09b5a pushed by chenson2018
6m 59s nightly-testing
nightly-testing
6m 59s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1493: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #2362: 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. #2896: completed by mathlib-nightly-testing Bot
1s
1s
chore: Bump mathlib dependency to 6f60478 Lean Action CI #4137: Pull request #645 synchronize by mathlib-nightly-testing Bot
9m 11s hopscotch/lkg-bump
hopscotch/lkg-bump
9m 11s
chore: Bump mathlib dependency to 6f60478 Check PR title for commit convention #3035: Pull request #645 synchronize by mathlib-nightly-testing Bot
8s hopscotch/lkg-bump
hopscotch/lkg-bump
8s
chore: Bump mathlib dependency to 6f60478 Check PR title for commit convention #3034: Pull request #645 edited by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s