Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,581 workflow runs
4,581 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #938: Scheduled
52s main
main
52s
Merge main to nightly-testing Merge main to nightly-testing #937: Scheduled
51s main
main
51s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #525: completed by leanprover-community-mathlib4-bot
Skipped
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #524: completed by leanprover-community-mathlib4-bot
13s
13s
chore: adaptations for nightly-2026-01-10 Lean Action CI #1491: Commit 6d0c11d pushed by leanprover-community-mathlib4-bot
5m 57s nightly-testing
nightly-testing
5m 57s
chore: adaptations for nightly-2026-01-10 Lean Action CI #1490: Pull request #257 opened by leanprover-community-mathlib4-bot
8m 29s bump/nightly-2026-01-10
bump/nightly-2026-01-10
8m 29s
chore: adaptations for nightly-2026-01-10 Check PR title for commit convention #526: Pull request #257 opened by leanprover-community-mathlib4-bot
5s bump/nightly-2026-01-10
bump/nightly-2026-01-10
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #523: completed by leanprover-community-mathlib4-bot
23s
23s
chore: bump to nightly-2026-01-10 with mathlib at nightly-testing-202… Lean Action CI #1489: Commit 9bab47b pushed by leanprover-community-mathlib4-bot
8m 14s nightly-testing
nightly-testing
8m 14s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #590: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #936: Scheduled
50s main
main
50s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #589: Scheduled
23s main
main
23s
Merge main to nightly-testing Merge main to nightly-testing #935: Scheduled
59s main
main
59s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #588: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #934: Scheduled
50s main
main
50s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #522: completed by merchantmoh-debug
1s
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #587: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #933: Scheduled
1m 0s main
main
1m 0s
feat: The Sovereign Algorithms (QuickSort, SAT, Symbolic Regex) Lean Action CI #1488: Pull request #256 opened by merchantmoh-debug
5m 6s merchantmoh-debug:jules-sovereign-quicksort-15401975156419303195
merchantmoh-debug:jules-sovereign-quicksort-15401975156419303195
5m 6s
feat: The Sovereign Algorithms (QuickSort, SAT, Symbolic Regex) Check PR title for commit convention #525: Pull request #256 opened by merchantmoh-debug
8s merchantmoh-debug:jules-sovereign-quicksort-15401975156419303195
merchantmoh-debug:jules-sovereign-quicksort-15401975156419303195
8s
feat: Verified QuickSort (O(n^2)), Symbolic Regex & Indexed Traces Check PR title for commit convention #524: Pull request #255 synchronize by merchantmoh-debug
Action required merchantmoh-debug:main
merchantmoh-debug:main
Action required
feat: Verified QuickSort (O(n^2)), Symbolic Regex & Indexed Traces Lean Action CI #1487: Pull request #255 synchronize by merchantmoh-debug
Action required merchantmoh-debug:main
merchantmoh-debug:main
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #586: Scheduled
25s main
main
25s
Merge main to nightly-testing Merge main to nightly-testing #932: Scheduled
52s main
main
52s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #521: completed by merchantmoh-debug
1s
1s