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
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1551: Scheduled
36s main
main
36s
Merge main to nightly-testing Merge main to nightly-testing #2455: Scheduled
1m 18s main
main
1m 18s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1550: Scheduled
32s main
main
32s
Merge main to nightly-testing Merge main to nightly-testing #2454: Scheduled
1m 8s main
main
1m 8s
Merge main to nightly-testing Merge main to nightly-testing #2453: Scheduled
1m 2s main
main
1m 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3098: completed by mathlib-nightly-testing Bot
8s
8s
Merge main into nightly-testing Lean Action CI #4339: Commit 5d178a8 pushed by mathlib-nightly-testing Bot
4m 35s nightly-testing
nightly-testing
4m 35s
Merge main to nightly-testing Merge main to nightly-testing #2452: Scheduled
1m 14s main
main
1m 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3097: completed by github-merge-queue Bot
1s
1s
chore: fix (all) backward.isDefEq.respectTransparency exceptions (#… Run TODO to Issue #324: Commit b23bdb6 pushed by github-merge-queue Bot
16s main
main
16s
chore: fix (all) backward.isDefEq.respectTransparency exceptions (#… Build and Deploy Documentation #238: Commit b23bdb6 pushed by github-merge-queue Bot
41m 1s main
main
41m 1s
chore: fix (all) backward.isDefEq.respectTransparency exceptions (#… Lean Action CI #4338: Commit b23bdb6 pushed by github-merge-queue Bot
6m 38s main
main
6m 38s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3096: completed by chenson2018
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3095: completed by patchwright
1s
1s
Check PR title for commit convention Check PR title for commit convention #3237: Merge group checks requested
7s
7s
Lean Action CI Lean Action CI #4337: Merge group checks requested
6m 22s
6m 22s
feat(LTS/Spectrum): van Glabbeek spectrum as a Galois connection Check PR title for commit convention #3236: Pull request #713 synchronize by patchwright
9s patchwright:spectrum-as-galois
patchwright:spectrum-as-galois
9s
feat(LTS/Spectrum): van Glabbeek spectrum as a Galois connection Lean Action CI #4336: Pull request #713 synchronize by patchwright
6m 52s patchwright:spectrum-as-galois
patchwright:spectrum-as-galois
6m 52s
Merge main to nightly-testing Merge main to nightly-testing #2451: Scheduled
1m 6s main
main
1m 6s
feat(Data/PFunctor): extend free monad and M-type APIs Check PR title for commit convention #3235: Pull request #716 edited by dtumad
6s dtumad:dtumad/pfunctor-lemms
dtumad:dtumad/pfunctor-lemms
6s
feat(PFunctor): redefine PFunctor.FreeM in terms of PFunctor.W Check PR title for commit convention #3234: Pull request #731 edited by dtumad
6s dtumad:dtumad/pfunctor-w
dtumad:dtumad/pfunctor-w
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3094: 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. #3093: completed by ctchou
1s
1s
feat(FLP): define pseudo-consensus and prove that it is implied by consensus Lean Action CI #4335: Pull request #718 synchronize by ctchou
6m 2s ctchou:flp-pseudo
ctchou:flp-pseudo
6m 2s
feat(FLP): define pseudo-consensus and prove that it is implied by consensus Check PR title for commit convention #3233: Pull request #718 synchronize by ctchou
8s ctchou:flp-pseudo
ctchou:flp-pseudo
8s