Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #621: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #988: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #987: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #986: Scheduled
51s main
main
51s
Merge main to nightly-testing Merge main to nightly-testing #985: Scheduled
51s main
main
51s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #620: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #984: Scheduled
57s main
main
57s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #619: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #983: Scheduled
50s main
main
50s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #618: Scheduled
21s main
main
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #573: completed by leanprover-community-mathlib4-bot
11s
11s
Merge main into nightly-testing Lean Action CI #1540: Commit fccefe1 pushed by leanprover-community-mathlib4-bot
8m 35s nightly-testing
nightly-testing
8m 35s
Merge main to nightly-testing Merge main to nightly-testing #982: 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. #572: completed by github-merge-queue bot
1s
1s
chore: add radar benchmark suite (#267) Lean Action CI #1539: Commit 02e2a23 pushed by github-merge-queue bot
5m 3s main
main
5m 3s
chore: add radar benchmark suite (#267) Build and Deploy Documentation #48: Commit 02e2a23 pushed by github-merge-queue bot
25m 41s main
main
25m 41s
chore: add radar benchmark suite (#267) Run TODO to Issue #134: Commit 02e2a23 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. #571: completed by chenson2018
1s
1s
Lean Action CI Lean Action CI #1538: Merge group checks requested
8m 39s
8m 39s
Check PR title for commit convention Check PR title for commit convention #561: Merge group checks requested
8s
8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #617: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #981: Scheduled
51s main
main
51s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #616: Scheduled
19s main
main
19s
Merge main to nightly-testing Merge main to nightly-testing #980: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #979: Scheduled
53s main
main
53s