Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,884 workflow runs
5,884 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 #699: Scheduled
29s main
main
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #851: completed by leanprover-community-mathlib4-bot
11s
11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #850: completed by github-merge-queue bot
1s
1s
Merge main into nightly-testing Lean Action CI #1845: Commit faac567 pushed by leanprover-community-mathlib4-bot
8m 8s nightly-testing
nightly-testing
8m 8s
Merge main to nightly-testing Merge main to nightly-testing #1110: Scheduled
1m 3s main
main
1m 3s
feat: copilot instructions (#310) Run TODO to Issue #155: Commit 5e1873f pushed by github-merge-queue bot
18s main
main
18s
feat: copilot instructions (#310) Build and Deploy Documentation #69: Commit 5e1873f pushed by github-merge-queue bot
26m 16s main
main
26m 16s
feat: copilot instructions (#310) Lean Action CI #1844: Commit 5e1873f pushed by github-merge-queue bot
8m 19s main
main
8m 19s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #849: completed by fmontesi
1s
1s
Lean Action CI Lean Action CI #1843: Merge group checks requested
8m 22s
8m 22s
Check PR title for commit convention Check PR title for commit convention #849: Merge group checks requested
7s
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #698: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #1109: Scheduled
48s main
main
48s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #848: completed by IvanRenison
1s
1s
feat(Foundations/Semantics/ReductionSystem): extend ReductionSystem Check PR title for commit convention #848: Pull request #304 synchronize by IvanRenison
8s IvanRenison:ReductionSystem2
IvanRenison:ReductionSystem2
8s
feat(Foundations/Semantics/ReductionSystem): extend ReductionSystem Lean Action CI #1842: Pull request #304 synchronize by IvanRenison
6m 28s IvanRenison:ReductionSystem2
IvanRenison:ReductionSystem2
6m 28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #847: completed by fmontesi
1s
1s
feat: copilot instructions Check PR title for commit convention #847: Pull request #310 opened by fmontesi
7s copilot
copilot
7s
feat: copilot instructions Lean Action CI #1841: Pull request #310 opened by fmontesi
11m 53s copilot
copilot
11m 53s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #697: Scheduled
16s main
main
16s
Merge main to nightly-testing Merge main to nightly-testing #1108: Scheduled
56s main
main
56s
Merge main to nightly-testing Merge main to nightly-testing #1107: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #1106: Scheduled
55s main
main
55s
Merge main to nightly-testing Merge main to nightly-testing #1105: 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. #846: completed by leanprover-community-mathlib4-bot
13s
13s