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. #2107: completed by chenson2018
1s
1s
Check PR title for commit convention Check PR title for commit convention #2161: Merge group checks requested
14s
14s
Lean Action CI Lean Action CI #3276: Merge group checks requested
9m 5s
9m 5s
Merge main to nightly-testing Merge main to nightly-testing #1815: Scheduled
1m 9s main
main
1m 9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1143: Scheduled
39s main
main
39s
Merge main to nightly-testing Merge main to nightly-testing #1814: Scheduled
1m 25s main
main
1m 25s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1142: Scheduled
31s main
main
31s
Merge main to nightly-testing Merge main to nightly-testing #1813: Scheduled
1m 9s main
main
1m 9s
feat: Multi-tape Turing machine Lean Action CI #3275: Pull request #384 synchronize by crei
Action required crei:multi-tape-tm
crei:multi-tape-tm
Action required
feat: Multi-tape Turing machine Check PR title for commit convention #2160: Pull request #384 synchronize by crei
Action required crei:multi-tape-tm
crei:multi-tape-tm
Action required
feat: Multi-tape Turing machine Lean Action CI #3274: Pull request #384 synchronize by crei
Action required crei:multi-tape-tm
crei:multi-tape-tm
Action required
feat: Multi-tape Turing machine Check PR title for commit convention #2159: Pull request #384 synchronize by crei
Action required crei:multi-tape-tm
crei:multi-tape-tm
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2106: completed by mathlib-nightly-testing Bot
15s
15s
Merge main into nightly-testing Lean Action CI #3273: Commit f96d2c2 pushed by mathlib-nightly-testing Bot
4m 50s nightly-testing
nightly-testing
4m 50s
Merge main to nightly-testing Merge main to nightly-testing #1812: Scheduled
1m 5s main
main
1m 5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2105: completed by fmontesi
1s
1s
feat: Modal Logic Lean Action CI #3272: Pull request #528 synchronize by fmontesi
6m 13s logic-k
logic-k
6m 13s
feat: Modal Logic Check PR title for commit convention #2158: Pull request #528 synchronize by fmontesi
5s logic-k
logic-k
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2104: completed by github-merge-queue Bot
1s
1s
feat: prove the distributivity of forall over OmegaSequence.flatten (… Lean Action CI #3271: Commit 6be5d16 pushed by github-merge-queue Bot
7m 21s main
main
7m 21s
feat: prove the distributivity of forall over OmegaSequence.flatten (… Build and Deploy Documentation #160: Commit 6be5d16 pushed by github-merge-queue Bot
1h 28m 47s main
main
1h 28m 47s
feat: prove the distributivity of forall over OmegaSequence.flatten (… Run TODO to Issue #246: Commit 6be5d16 pushed by github-merge-queue Bot
19s main
main
19s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2103: completed by chenson2018
2s
2s
Lean Action CI Lean Action CI #3270: Merge group checks requested
5m 37s
5m 37s
Check PR title for commit convention Check PR title for commit convention #2157: Merge group checks requested
9s
9s