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. #3063: completed by JJYYY-JJY
1s
1s
feat(confluence): add relation-level reduction inclusions Check PR title for commit convention #3200: Pull request #719 synchronize by JJYYY-JJY
8s JJYYY-JJY:feat/696-relation-inclusions
JJYYY-JJY:feat/696-relation-inclusions
8s
feat(confluence): add relation-level reduction inclusions Lean Action CI #4304: Pull request #719 synchronize by JJYYY-JJY
6m 52s JJYYY-JJY:feat/696-relation-inclusions
JJYYY-JJY:feat/696-relation-inclusions
6m 52s
Merge main to nightly-testing Merge main to nightly-testing #2435: Scheduled
1m 0s main
main
1m 0s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1539: Scheduled
1m 3s main
main
1m 3s
Merge main to nightly-testing Merge main to nightly-testing #2434: Scheduled
1m 10s main
main
1m 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3062: completed by mathlib-nightly-testing Bot
1s
1s
chore: Bump mathlib dependency to 9ff650a Check PR title for commit convention #3199: Pull request #645 edited by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: Bump mathlib dependency to 9ff650a Check PR title for commit convention #3198: Pull request #645 synchronize by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: Bump mathlib dependency to 9ff650a Lean Action CI #4303: Pull request #645 synchronize by mathlib-nightly-testing Bot
10m 19s hopscotch/lkg-bump
hopscotch/lkg-bump
10m 19s
Bump mathlib to LKG Bump mathlib to LKG #111: Scheduled
5m 8s main
main
5m 8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1538: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #2433: Scheduled
1m 10s main
main
1m 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3061: completed by ctchou
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3060: completed by ctchou
Skipped
Skipped
feat(FLP): define pseudo-consensus and prove that it is implied by consensus Lean Action CI #4302: Pull request #718 synchronize by ctchou
6m 35s ctchou:flp-pseudo
ctchou:flp-pseudo
6m 35s
feat(FLP): define pseudo-consensus and prove that it is implied by consensus Check PR title for commit convention #3197: Pull request #718 synchronize by ctchou
6s ctchou:flp-pseudo
ctchou:flp-pseudo
6s
feat: topological characterization of safety and liveness properties of infinite sequences Lean Action CI #4301: Pull request #704 synchronize by ctchou
7m 38s ctchou:topo-safe-live
ctchou:topo-safe-live
7m 38s
feat: topological characterization of safety and liveness properties of infinite sequences Check PR title for commit convention #3196: Pull request #704 synchronize by ctchou
5s ctchou:topo-safe-live
ctchou:topo-safe-live
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3059: completed by fmontesi
11s
11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3058: completed by fmontesi
1s
1s
feat: add READMEs to main directories Lean Action CI #4300: Pull request #714 synchronize by fmontesi
6m 17s fmontesi/readmes
fmontesi/readmes
6m 17s
feat: add READMEs to main directories Check PR title for commit convention #3195: Pull request #714 synchronize by fmontesi
5s fmontesi/readmes
fmontesi/readmes
5s
feat: add READMEs to main directories Lean Action CI #4299: Pull request #714 synchronize by fmontesi
6m 52s fmontesi/readmes
fmontesi/readmes
6m 52s
feat: add READMEs to main directories Check PR title for commit convention #3194: Pull request #714 synchronize by fmontesi
9s fmontesi/readmes
fmontesi/readmes
9s