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 #2368: Scheduled
1m 3s main
main
1m 3s
chore: bump to nightly-2026-07-08 with mathlib at nightly-testing-202… Lean Action CI #4146: Commit fd14aa9 pushed by mathlib-nightly-testing Bot
In progress nightly-testing
nightly-testing
In progress
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1496: Manually run by chenson2018
1m 27s main
main
1m 27s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1495: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #2367: Scheduled
1m 20s main
main
1m 20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2904: completed by fmontesi
8s
8s
feat: add AUTHORS.md Lean Action CI #4145: Pull request #701 opened by fmontesi
9m 31s fmontesi/authors
fmontesi/authors
9m 31s
feat: add AUTHORS.md Check PR title for commit convention #3041: Pull request #701 opened by fmontesi
8s fmontesi/authors
fmontesi/authors
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2903: completed by fmontesi
1s
1s
feat(Logic): logical operators Lean Action CI #4144: Pull request #607 synchronize by fmontesi
8m 52s fmontesi/connectives
fmontesi/connectives
8m 52s
feat(Logic): logical operators Check PR title for commit convention #3040: Pull request #607 synchronize by fmontesi
6s fmontesi/connectives
fmontesi/connectives
6s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1494: Scheduled
59s main
main
59s
Merge main to nightly-testing Merge main to nightly-testing #2366: Scheduled
1m 13s main
main
1m 13s
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