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 #2300: Scheduled
1m 18s main
main
1m 18s
Merge main to nightly-testing Merge main to nightly-testing #2299: Scheduled
1m 15s main
main
1m 15s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1452: Scheduled
23s main
main
23s
Merge main to nightly-testing Merge main to nightly-testing #2298: Scheduled
1m 4s main
main
1m 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2830: completed by mathlib-nightly-testing Bot
2s
2s
chore: Bump mathlib dependency to 95fdbd6 Check PR title for commit convention #2968: Pull request #645 edited by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: Bump mathlib dependency to 95fdbd6 Lean Action CI #4071: Pull request #645 synchronize by mathlib-nightly-testing Bot
10m 2s hopscotch/lkg-bump
hopscotch/lkg-bump
10m 2s
chore: Bump mathlib dependency to 95fdbd6 Check PR title for commit convention #2967: Pull request #645 synchronize by mathlib-nightly-testing Bot
8s hopscotch/lkg-bump
hopscotch/lkg-bump
8s
Bump mathlib to LKG Bump mathlib to LKG #94: Scheduled
4m 58s main
main
4m 58s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1451: Scheduled
25s main
main
25s
Merge main to nightly-testing Merge main to nightly-testing #2297: Scheduled
1m 5s main
main
1m 5s
feat(Logics/Propositional): five-primitive formula type with primitive bot Check PR title for commit convention #2966: Pull request #648 edited by benbrastmckie
9s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
9s
feat(Logics/Propositional): five-primitive formula type with primitive bot Check PR title for commit convention #2965: Pull request #648 edited by benbrastmckie
7s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
7s
feat(Logics/Propositional): five-primitive formula type with primitive bot Check PR title for commit convention #2964: Pull request #648 edited by benbrastmckie
10s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
10s
feat(Logics/Propositional): five-primitive formula type with primitive bot Check PR title for commit convention #2963: Pull request #648 edited by benbrastmckie
6s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2829: completed by benbrastmckie
1s
1s
feat(Logics/Propositional): five-primitive formula type with primitive bot Check PR title for commit convention #2962: Pull request #648 synchronize by benbrastmckie
8s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
8s
feat(Logics/Propositional): five-primitive formula type with primitive bot Lean Action CI #4070: Pull request #648 synchronize by benbrastmckie
5m 32s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
5m 32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2828: completed by benbrastmckie
15s
15s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1450: Scheduled
28s main
main
28s
feat(Logics/Propositional): five-primitive formula type with primitive bot Lean Action CI #4069: Pull request #648 synchronize by benbrastmckie
9m 37s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
9m 37s
feat(Logics/Propositional): five-primitive formula type with primitive bot Check PR title for commit convention #2961: Pull request #648 synchronize by benbrastmckie
7s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
7s
Merge main to nightly-testing Merge main to nightly-testing #2296: Scheduled
1m 5s main
main
1m 5s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1449: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #2295: Scheduled
1m 19s main
main
1m 19s