Skip to content

Actions: BasilRohner/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,847 workflow runs
1,847 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
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #695: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #1071: 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. #15: completed by BasilRohner
1s
1s
address review feedback Run TODO to Issue #15: Commit 763858b pushed by BasilRohner
23s main
main
23s
address review feedback Build and Deploy Documentation #15: Commit 763858b pushed by BasilRohner
2s main
main
2s
address review feedback Lean Action CI #15: Commit 763858b pushed by BasilRohner
7m 23s main
main
7m 23s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #694: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #1070: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #693: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #1069: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #1068: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #1067: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #692: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #1066: Scheduled
2s main
main
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #691: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #1065: Scheduled
2s main
main
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #690: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #1064: Scheduled
2s main
main
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #689: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #1063: Scheduled
2s main
main
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #688: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #1062: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #1061: Scheduled
2s main
main
2s
Weekly linting report Weekly linting report #20: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #1060: Scheduled
1s main
main
1s