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. #4037: completed by fmontesi
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4036: completed by mathlib-nightly-testing Bot
21s
21s
feat(Logic): General Modal Logic Lean Action CI #5275: Pull request #863 synchronize by fmontesi
5m 34s fmontesi/multimodal
fmontesi/multimodal
5m 34s
feat(Logic): General Modal Logic Check PR title for commit convention #4211: Pull request #863 synchronize by fmontesi
7s fmontesi/multimodal
fmontesi/multimodal
7s
chore: bump to nightly-2026-09-12 with mathlib at nightly-testing-202… Lean Action CI #5274: Commit 5c11932 pushed by mathlib-nightly-testing Bot
8m 44s nightly-testing
nightly-testing
8m 44s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1822: Scheduled
1m 23s main
main
1m 23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4035: completed by mathlib-nightly-testing Bot
23s
23s
Merge main into nightly-testing Lean Action CI #5273: Commit c400562 pushed by mathlib-nightly-testing Bot
8m 50s nightly-testing
nightly-testing
8m 50s
Merge main to nightly-testing Merge main to nightly-testing #2890: Scheduled
43s main
main
43s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4034: completed by github-merge-queue Bot
8s
8s
feat: add a predicate for monad morphisms (#856) Run TODO to Issue #402: Commit bdbd823 pushed by github-merge-queue Bot
13s main
main
13s
feat: add a predicate for monad morphisms (#856) Lean Action CI #5272: Commit bdbd823 pushed by github-merge-queue Bot
9m 12s main
main
9m 12s
feat: add a predicate for monad morphisms (#856) Build and Deploy Documentation #316: Commit bdbd823 pushed by github-merge-queue Bot
46m 35s main
main
46m 35s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4033: completed by fmontesi
8s
8s
Check PR title for commit convention Check PR title for commit convention #4210: Merge group checks requested
6s
6s
Lean Action CI Lean Action CI #5271: Merge group checks requested
9m 18s
9m 18s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4032: completed by fmontesi
1s
1s
feat(Logic): General Modal Logic Check PR title for commit convention #4209: Pull request #863 synchronize by fmontesi
9s fmontesi/multimodal
fmontesi/multimodal
9s
feat(Logic): General Modal Logic Lean Action CI #5270: Pull request #863 synchronize by fmontesi
2m 58s fmontesi/multimodal
fmontesi/multimodal
2m 58s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4031: completed by thomaskwaring
1s
1s
feat(Foundations/Relation/Confluence): generalize results from confluence to commutation Check PR title for commit convention #4208: Pull request #880 synchronize by thomaskwaring
5s thomaskwaring:comm-to-conf
thomaskwaring:comm-to-conf
5s
feat(Foundations/Relation/Confluence): generalize results from confluence to commutation Lean Action CI #5269: Pull request #880 synchronize by thomaskwaring
6m 39s thomaskwaring:comm-to-conf
thomaskwaring:comm-to-conf
6m 39s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4030: completed by thomaskwaring
1s
1s
feat(Foundations/Relation/Confluence): generalize results from confluence to commutation Lean Action CI #5268: Pull request #880 synchronize by thomaskwaring
3m 30s thomaskwaring:comm-to-conf
thomaskwaring:comm-to-conf
3m 30s
feat(Foundations/Relation/Confluence): generalize results from confluence to commutation Check PR title for commit convention #4207: Pull request #880 synchronize by thomaskwaring
6s thomaskwaring:comm-to-conf
thomaskwaring:comm-to-conf
6s