Skip to content

Actions: PieterCuijpers/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,559 workflow runs
1,559 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
Merge main to nightly-testing Merge main to nightly-testing #3: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #2: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #2: Scheduled
1s main
main
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1: Scheduled
1s main
main
1s
Merge main to nightly-testing Merge main to nightly-testing #1: 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. #1: completed by PieterCuijpers
1s
1s
doc: add a description of CI in CONTRIBUTING.md (#213) Run TODO to Issue #1: Commit d3d8a37 pushed by PieterCuijpers
29s main
main
29s
doc: add a description of CI in CONTRIBUTING.md (#213) Build and Deploy Documentation #1: Commit d3d8a37 pushed by PieterCuijpers
1s main
main
1s
doc: add a description of CI in CONTRIBUTING.md (#213) Lean Action CI #1: Commit d3d8a37 pushed by PieterCuijpers
7m 59s main
main
7m 59s
ProTip! You can narrow down the results and go further in time using created:<2025-12-15 or the other filters available.