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
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
Merge main to nightly-testing Merge main to nightly-testing #1811: Scheduled
53s main
main
53s
Merge main to nightly-testing Merge main to nightly-testing #1810: Scheduled
1m 1s main
main
1m 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2102: completed by ctchou
1s
1s
feat: prove the distributivity of forall over OmegaSequence.flatten Lean Action CI #3269: Pull request #532 synchronize by ctchou
5m 2s ctchou:forall-flatten
ctchou:forall-flatten
5m 2s
feat: prove the distributivity of forall over OmegaSequence.flatten Check PR title for commit convention #2156: Pull request #532 synchronize by ctchou
8s ctchou:forall-flatten
ctchou:forall-flatten
8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1141: Scheduled
22s main
main
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2101: completed by ctchou
1s
1s
feat: prove the distributivity of forall over OmegaSequence.flatten Check PR title for commit convention #2155: Pull request #532 opened by ctchou
9s ctchou:forall-flatten
ctchou:forall-flatten
9s