Skip to content

Actions: WegmannDavid/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 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 #12: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #21: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #20: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #19: Scheduled
1s main
main
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by WegmannDavid
1s
1s
splitting strong norm development into multiple files Run TODO to Issue #5: Commit 0602c7e pushed by WegmannDavid
18s main
main
18s
splitting strong norm development into multiple files Lean Action CI #5: Commit 0602c7e pushed by WegmannDavid
5m 9s main
main
5m 9s
splitting strong norm development into multiple files Build and Deploy Documentation #5: Commit 0602c7e pushed by WegmannDavid
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #18: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #11: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #17: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #10: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #16: Scheduled
2s main
main
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #9: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #15: Scheduled
2s main
main
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #8: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #14: Scheduled
2s main
main
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #7: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #13: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #12: Scheduled
1s main
main
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by WegmannDavid
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by WegmannDavid
1s
1s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #4: Commit dbd8500 pushed by WegmannDavid
1s main
main
1s
Merge branch 'leanprover:main' into main Run TODO to Issue #4: Commit dbd8500 pushed by WegmannDavid
18s main
main
18s
Merge branch 'leanprover:main' into main Lean Action CI #4: Commit dbd8500 pushed by WegmannDavid
5m 19s main
main
5m 19s