Skip to content

Actions: zayn7lie/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
675 workflow runs
675 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 #225: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #296: Scheduled
1s main
main
1s
Bump mathlib to LKG Bump mathlib to LKG #50: Scheduled
21s main
main
21s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #224: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #295: Scheduled
10s main
main
10s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #223: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #294: Scheduled
2s main
main
2s
Weekly linting report Weekly linting report #7: Scheduled
2s main
main
2s
Merge main to nightly-testing Merge main to nightly-testing #293: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #222: Scheduled
8s main
main
8s
Merge main to nightly-testing Merge main to nightly-testing #292: Scheduled
1s main
main
1s
Bump mathlib to LKG Bump mathlib to LKG #49: Scheduled
8s main
main
8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #221: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #291: Scheduled
9s main
main
9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #220: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #290: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #219: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #289: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #218: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #288: 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 zayn7lie
2s
2s
upd: subst sandwich with reflTransGen_mono_closed Build and Deploy Documentation #24: Commit a1232e7 pushed by zayn7lie
1s main
main
1s
upd: subst sandwich with reflTransGen_mono_closed Lean Action CI #24: Commit a1232e7 pushed by zayn7lie
5m 58s main
main
5m 58s
upd: subst sandwich with reflTransGen_mono_closed Run TODO to Issue #24: Commit a1232e7 pushed by zayn7lie
13s main
main
13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #23: completed by zayn7lie
6s
6s