Skip to content

Actions: WegmannDavid/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
324 workflow runs
324 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #137: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #85: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #136: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #84: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #135: Scheduled
2s main
main
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #83: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #134: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #82: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #133: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #132: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #131: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #130: 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. #25: completed by chenson2018
1s
1s
some initial golfing Lean Action CI #25: Commit 45c8992 pushed by chenson2018
5m 47s main
main
5m 47s
some initial golfing Build and Deploy Documentation #25: Commit 45c8992 pushed by chenson2018
1s main
main
1s
some initial golfing Run TODO to Issue #25: Commit 45c8992 pushed by chenson2018
15s main
main
15s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #81: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #129: 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. #24: completed by chenson2018
1s
1s
some formatting Lean Action CI #24: Commit 170f5e4 pushed by chenson2018
6m 16s main
main
6m 16s
some formatting Run TODO to Issue #24: Commit 170f5e4 pushed by chenson2018
17s main
main
17s
some formatting Build and Deploy Documentation #24: Commit 170f5e4 pushed by chenson2018
1s main
main
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #23: completed by chenson2018
1s
1s
Merge remote-tracking branch 'origin/main' Build and Deploy Documentation #23: Commit 575ef1d pushed by chenson2018
2s main
main
2s
Merge remote-tracking branch 'origin/main' Run TODO to Issue #23: Commit 575ef1d pushed by chenson2018
18s main
main
18s