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. #2007: completed by mathlib-nightly-testing Bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2006: completed by mathlib-nightly-testing Bot
22s
22s
chore: adaptations for nightly-2026-04-22 Lean Action CI #3162: Pull request #513 opened by mathlib-nightly-testing Bot
9m 1s bump/nightly-2026-04-22
bump/nightly-2026-04-22
9m 1s
chore: adaptations for nightly-2026-04-22 Check PR title for commit convention #2055: Pull request #513 opened by mathlib-nightly-testing Bot
7s bump/nightly-2026-04-22
bump/nightly-2026-04-22
7s
chore: adaptations for nightly-2026-04-22 Lean Action CI #3161: Commit 71bf357 pushed by mathlib-nightly-testing Bot
6m 45s nightly-testing
nightly-testing
6m 45s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2005: completed by mathlib-nightly-testing Bot
35s
35s
chore: bump to nightly-2026-04-22 with mathlib at nightly-testing-202… Lean Action CI #3160: Commit 557ce04 pushed by mathlib-nightly-testing Bot
8m 31s nightly-testing
nightly-testing
8m 31s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1103: Scheduled
1m 34s main
main
1m 34s
Merge main to nightly-testing Merge main to nightly-testing #1750: Scheduled
55s main
main
55s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1102: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #1749: Scheduled
59s main
main
59s
Merge main to nightly-testing Merge main to nightly-testing #1748: Scheduled
1m 9s main
main
1m 9s
Merge main to nightly-testing Merge main to nightly-testing #1747: Scheduled
59s main
main
59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2004: completed by kim-em
1s
1s
feat(Query): query complexity framework with sorting examples Lean Action CI #3159: Pull request #401 synchronize by kim-em
5m 14s kim-em:combined-query-complexity
kim-em:combined-query-complexity
5m 14s
feat(Query): query complexity framework with sorting examples Check PR title for commit convention #2054: Pull request #401 synchronize by kim-em
5s kim-em:combined-query-complexity
kim-em:combined-query-complexity
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2003: completed by kim-em
1s
1s
feat(Query): query complexity framework with sorting examples Check PR title for commit convention #2053: Pull request #401 synchronize by kim-em
7s kim-em:combined-query-complexity
kim-em:combined-query-complexity
7s
feat(Query): query complexity framework with sorting examples Lean Action CI #3158: Pull request #401 synchronize by kim-em
3m 27s kim-em:combined-query-complexity
kim-em:combined-query-complexity
3m 27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2002: completed by kim-em
1s
1s
feat(Query): query complexity framework with sorting examples Lean Action CI #3157: Pull request #401 synchronize by kim-em
3m 1s kim-em:combined-query-complexity
kim-em:combined-query-complexity
3m 1s
feat(Query): query complexity framework with sorting examples Check PR title for commit convention #2052: Pull request #401 synchronize by kim-em
6s kim-em:combined-query-complexity
kim-em:combined-query-complexity
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2001: completed by kim-em
1s
1s
feat(Query): query complexity framework with sorting examples Lean Action CI #3156: Pull request #401 synchronize by kim-em
1m 15s kim-em:combined-query-complexity
kim-em:combined-query-complexity
1m 15s
feat(Query): query complexity framework with sorting examples Check PR title for commit convention #2051: Pull request #401 synchronize by kim-em
6s kim-em:combined-query-complexity
kim-em:combined-query-complexity
6s