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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2536: completed by mathlib-nightly-testing Bot
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2535: completed by mathlib-nightly-testing Bot
6s
6s
chore: Bump mathlib dependency to 2ba98ca Check PR title for commit convention #2659: Pull request #624 edited by mathlib-nightly-testing Bot
8s hopscotch/lkg-bump
hopscotch/lkg-bump
8s
chore: Bump mathlib dependency to 2ba98ca Lean Action CI #3780: Pull request #624 synchronize by mathlib-nightly-testing Bot
4m 46s hopscotch/lkg-bump
hopscotch/lkg-bump
4m 46s
chore: Bump mathlib dependency to 2ba98ca Check PR title for commit convention #2658: Pull request #624 synchronize by mathlib-nightly-testing Bot
10s hopscotch/lkg-bump
hopscotch/lkg-bump
10s
simple functional queue from Okasaki Lean Action CI #3779: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Check PR title for commit convention #2657: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
chore: bump mathlib to 8589236, fix breaking changes Lean Action CI #3778: Pull request #628 opened by mathlib-nightly-testing Bot
4m 10s bump-mathlib/fix-8589236
bump-mathlib/fix-8589236
4m 10s
chore: bump mathlib to 8589236, fix breaking changes Check PR title for commit convention #2656: Pull request #628 opened by mathlib-nightly-testing Bot
8s bump-mathlib/fix-8589236
bump-mathlib/fix-8589236
8s
Bump mathlib to LKG Bump mathlib to LKG #75: Scheduled
4m 50s main
main
4m 50s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2534: completed by chenson2018
2s
2s
doc: add wikidata attribute for Church-Rosser theorems Check PR title for commit convention #2655: Pull request #626 opened by chenson2018
5s chenson/wikidata
chenson/wikidata
5s
doc: add wikidata attribute for Church-Rosser theorems Lean Action CI #3777: Pull request #626 opened by chenson2018
5m 34s chenson/wikidata
chenson/wikidata
5m 34s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1354: Scheduled
36s main
main
36s
Merge main to nightly-testing Merge main to nightly-testing #2144: Scheduled
58s main
main
58s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1353: Scheduled
41s main
main
41s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2533: completed by fmontesi
1s
1s
feat: logical equivalence for modal logic Lean Action CI #3776: Pull request #535 synchronize by fmontesi
1m 11s modal-equiv
modal-equiv
1m 11s
feat: logical equivalence for modal logic Check PR title for commit convention #2654: Pull request #535 synchronize by fmontesi
8s modal-equiv
modal-equiv
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2532: completed by fmontesi
3s
3s
feat: logical equivalence for modal logic Lean Action CI #3775: Pull request #535 synchronize by fmontesi
1m 19s modal-equiv
modal-equiv
1m 19s
feat: logical equivalence for modal logic Check PR title for commit convention #2653: Pull request #535 synchronize by fmontesi
7s modal-equiv
modal-equiv
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2531: completed by fmontesi
11s
11s
feat: logical equivalence for modal logic Check PR title for commit convention #2652: Pull request #535 synchronize by fmontesi
7s modal-equiv
modal-equiv
7s
feat: logical equivalence for modal logic Lean Action CI #3774: Pull request #535 synchronize by fmontesi
1m 14s modal-equiv
modal-equiv
1m 14s