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
Merge main to nightly-testing Merge main to nightly-testing #2008: Scheduled
1m 14s main
main
1m 14s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1267: Scheduled
34s main
main
34s
Merge main to nightly-testing Merge main to nightly-testing #2007: Scheduled
59s main
main
59s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1266: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #2006: Scheduled
1m 8s main
main
1m 8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1265: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #2005: Scheduled
1m 0s main
main
1m 0s
feat(Computability): Abstract machine model. Check PR title for commit convention #2452: Pull request #595 synchronize by crei
Action required crei:computation_model
crei:computation_model
Action required
feat(Computability): Abstract machine model. Lean Action CI #3560: Pull request #595 synchronize by crei
Action required crei:computation_model
crei:computation_model
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2340: completed by mathlib-nightly-testing Bot
14s
14s
Merge main into nightly-testing Lean Action CI #3559: Commit 5fabfb6 pushed by mathlib-nightly-testing Bot
9m 4s nightly-testing
nightly-testing
9m 4s
Merge main to nightly-testing Merge main to nightly-testing #2004: Scheduled
57s main
main
57s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2339: completed by thomaskwaring
1s
1s
feat(Foundations/Logic): Notation typeclasses and models Check PR title for commit convention #2451: Pull request #587 synchronize by thomaskwaring
7s thomaskwaring:models
thomaskwaring:models
7s
feat(Foundations/Logic): Notation typeclasses and models Lean Action CI #3558: Pull request #587 synchronize by thomaskwaring
1m 4s thomaskwaring:models
thomaskwaring:models
1m 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2338: completed by chenson2018
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2337: completed by github-merge-queue Bot
1s
1s
feat: more lemmas on Euclidean relations Check PR title for commit convention #2450: Pull request #574 synchronize by chenson2018
8s chenson2018/more-euclidean
chenson2018/more-euclidean
8s
feat: more lemmas on Euclidean relations Lean Action CI #3557: Pull request #574 synchronize by chenson2018
6m 44s chenson2018/more-euclidean
chenson2018/more-euclidean
6m 44s
chore: Bump mathlib dependency to d8de6b6 (#552) Build and Deploy Documentation #183: Commit 107a51d pushed by github-merge-queue Bot
45m 53s main
main
45m 53s
chore: Bump mathlib dependency to d8de6b6 (#552) Lean Action CI #3556: Commit 107a51d pushed by github-merge-queue Bot
7m 33s main
main
7m 33s
chore: Bump mathlib dependency to d8de6b6 (#552) Run TODO to Issue #269: Commit 107a51d pushed by github-merge-queue Bot
17s main
main
17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2336: completed by chenson2018
1s
1s
Check PR title for commit convention Check PR title for commit convention #2449: Merge group checks requested
5s
5s
Lean Action CI Lean Action CI #3555: Merge group checks requested
12m 13s
12m 13s