Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
chore: bump toolchain to v4.31.0-rc1 (#609) Release #11: Commit 2f677bf pushed by Garmelon
8s v4.31.0-rc1
v4.31.0-rc1
8s
chore: bump toolchain to v4.31.0-rc1 (#609) Run TODO to Issue #279: Commit 2f677bf pushed by github-merge-queue Bot
14s main
main
14s
chore: bump toolchain to v4.31.0-rc1 (#609) Build and Deploy Documentation #193: Commit 2f677bf pushed by github-merge-queue Bot
In progress main
main
In progress
chore: bump toolchain to v4.31.0-rc1 (#609) Lean Action CI #3658: Commit 2f677bf pushed by github-merge-queue Bot
In progress main
main
In progress
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2427: completed by Garmelon
1s
1s
Lean Action CI Lean Action CI #3657: Merge group checks requested
15m 40s
15m 40s
Check PR title for commit convention Check PR title for commit convention #2541: Merge group checks requested
7m 22s
7m 22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2426: completed by Garmelon
2s
2s
chore: bump toolchain to v4.31.0-rc1 Check PR title for commit convention #2540: Pull request #609 opened by Garmelon
9s bump/v4.31.0
bump/v4.31.0
9s
chore: bump toolchain to v4.31.0-rc1 Lean Action CI #3656: Pull request #609 opened by Garmelon
8m 53s bump/v4.31.0
bump/v4.31.0
8m 53s
feat: basic graph definitions Check PR title for commit convention #2539: Pull request #503 edited by BasilRohner
Action required BasilRohner:main
BasilRohner:main
Action required
feat: basic graph definitions Lean Action CI #3655: Pull request #503 synchronize by BasilRohner
Action required BasilRohner:main
BasilRohner:main
Action required
feat: basic graph definitions Check PR title for commit convention #2538: Pull request #503 synchronize by BasilRohner
Action required BasilRohner:main
BasilRohner:main
Action required
feat: basic graph definitions Check PR title for commit convention #2537: Pull request #503 synchronize by BasilRohner
Action required BasilRohner:main
BasilRohner:main
Action required
feat: basic graph definitions Lean Action CI #3654: Pull request #503 synchronize by BasilRohner
Action required BasilRohner:main
BasilRohner:main
Action required
feat: basic graph definitions Lean Action CI #3653: Pull request #503 synchronize by BasilRohner
Action required BasilRohner:main
BasilRohner:main
Action required
feat: basic graph definitions Check PR title for commit convention #2536: Pull request #503 synchronize by BasilRohner
Action required BasilRohner:main
BasilRohner:main
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1291: Scheduled
24s main
main
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2425: completed by github-merge-queue Bot
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2424: completed by mathlib-nightly-testing Bot
21s
21s
doc(Governance): add @SamuelSchlesinger to reviewers (#608) Build and Deploy Documentation #192: Commit d0c137a pushed by github-merge-queue Bot
4m 42s main
main
4m 42s
doc(Governance): add @SamuelSchlesinger to reviewers (#608) Lean Action CI #3652: Commit d0c137a pushed by github-merge-queue Bot
5m 26s main
main
5m 26s
doc(Governance): add @SamuelSchlesinger to reviewers (#608) Run TODO to Issue #278: Commit d0c137a pushed by github-merge-queue Bot
15s main
main
15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2423: completed by chenson2018
2s
2s
Merge main into nightly-testing Lean Action CI #3651: Commit 4308349 pushed by mathlib-nightly-testing Bot
8m 39s nightly-testing
nightly-testing
8m 39s