Skip to content

Actions: WegmannDavid/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #22: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #37: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #36: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #35: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #34: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #21: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #33: Scheduled
2s main
main
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by WegmannDavid
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by WegmannDavid
1s
1s
cleared out some lemmas and moved some others Lean Action CI #9: Commit f44e8b1 pushed by WegmannDavid
4m 55s main
main
4m 55s
cleared out some lemmas and moved some others Build and Deploy Documentation #9: Commit f44e8b1 pushed by WegmannDavid
1s main
main
1s
cleared out some lemmas and moved some others Run TODO to Issue #9: Commit f44e8b1 pushed by WegmannDavid
12s main
main
12s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #8: Commit 5bc38a3 pushed by WegmannDavid
1s main
main
1s
Merge branch 'leanprover:main' into main Run TODO to Issue #8: Commit 5bc38a3 pushed by WegmannDavid
17s main
main
17s
Merge branch 'leanprover:main' into main Lean Action CI #8: Commit 5bc38a3 pushed by WegmannDavid
5m 22s main
main
5m 22s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #20: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #32: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #19: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #31: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #18: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #30: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #17: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #29: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #28: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #27: Scheduled
1s main
main
1s