Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,485 workflow runs
7,485 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #1330: Scheduled
56s main
main
56s
added helper lemmas for use in the planned strong norm proof Lean Action CI #2287: Pull request #381 opened by WegmannDavid
Action required WegmannDavid:pr/StrongNorm
WegmannDavid:pr/StrongNorm
Action required
added helper lemmas for use in the planned strong norm proof Check PR title for commit convention #1250: Pull request #381 opened by WegmannDavid
Action required WegmannDavid:pr/StrongNorm
WegmannDavid:pr/StrongNorm
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #841: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #1329: Scheduled
1m 8s main
main
1m 8s
added general lemmas for strong normalization of untyped lambda terms… Lean Action CI #2286: Pull request #327 synchronize by WegmannDavid
Action required WegmannDavid:main
WegmannDavid:main
Action required
added general lemmas for strong normalization of untyped lambda terms… Check PR title for commit convention #1249: Pull request #327 synchronize by WegmannDavid
Action required WegmannDavid:main
WegmannDavid:main
Action required
added general lemmas for strong normalization of untyped lambda terms… Lean Action CI #2285: Pull request #327 synchronize by WegmannDavid
Action required WegmannDavid:main
WegmannDavid:main
Action required
added general lemmas for strong normalization of untyped lambda terms… Check PR title for commit convention #1248: Pull request #327 synchronize by WegmannDavid
Action required WegmannDavid:main
WegmannDavid:main
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #840: Scheduled
27s main
main
27s
Merge main to nightly-testing Merge main to nightly-testing #1328: Scheduled
53s main
main
53s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1260: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Lean Action CI #2284: Pull request #372 synchronize by Shreyas4991
5m 35s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
5m 35s
feat: query complexity model for algorithms theory Check PR title for commit convention #1247: Pull request #372 synchronize by Shreyas4991
8s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1259: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Check PR title for commit convention #1246: Pull request #372 synchronize by Shreyas4991
6s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
6s
feat: query complexity model for algorithms theory Lean Action CI #2283: Pull request #372 synchronize by Shreyas4991
3m 34s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
3m 34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1258: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Lean Action CI #2282: Pull request #372 synchronize by Shreyas4991
6m 46s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
6m 46s
feat: query complexity model for algorithms theory Check PR title for commit convention #1245: Pull request #372 synchronize by Shreyas4991
7s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #839: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #1327: Scheduled
54s main
main
54s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #838: 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. #1257: completed by mathlib-nightly-testing bot
19s
19s
Merge main into nightly-testing Lean Action CI #2281: Commit 2b18ca3 pushed by mathlib-nightly-testing bot
9m 40s nightly-testing
nightly-testing
9m 40s