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
Merge main to nightly-testing Merge main to nightly-testing #2347: Scheduled
1m 9s main
main
1m 9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1482: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #2346: 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. #2881: completed by mathlib-nightly-testing Bot
1s
1s
chore: Bump mathlib dependency to d3716e6 Check PR title for commit convention #3021: Pull request #645 edited by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: Bump mathlib dependency to d3716e6 Lean Action CI #4122: Pull request #645 synchronize by mathlib-nightly-testing Bot
9m 31s hopscotch/lkg-bump
hopscotch/lkg-bump
9m 31s
chore: Bump mathlib dependency to d3716e6 Check PR title for commit convention #3020: Pull request #645 synchronize by mathlib-nightly-testing Bot
5s hopscotch/lkg-bump
hopscotch/lkg-bump
5s
Bump mathlib to LKG Bump mathlib to LKG #100: Scheduled
4m 25s main
main
4m 25s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1481: Scheduled
1m 0s main
main
1m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2880: completed by mathlib-nightly-testing Bot
22s
22s
Merge main into nightly-testing Lean Action CI #4121: Commit 59f89ca pushed by mathlib-nightly-testing Bot
11m 9s nightly-testing
nightly-testing
11m 9s
Merge main to nightly-testing Merge main to nightly-testing #2345: 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. #2879: completed by VitaliPath
1s
1s
fix(Foundations): add noWs guard to well-formed postfix notation Check PR title for commit convention #3019: Pull request #675 synchronize by VitaliPath
9s VitaliPath:fix/well-formed-notation-collision
VitaliPath:fix/well-formed-notation-collision
9s
fix(Foundations): add noWs guard to well-formed postfix notation Lean Action CI #4120: Pull request #675 synchronize by VitaliPath
6m 53s VitaliPath:fix/well-formed-notation-collision
VitaliPath:fix/well-formed-notation-collision
6m 53s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2878: completed by github-merge-queue Bot
1s
1s
fix(Foundations/Syntax): guard substitution notation with noWs (#687) Build and Deploy Documentation #224: Commit 7940a10 pushed by github-merge-queue Bot
40m 46s main
main
40m 46s
fix(Foundations/Syntax): guard substitution notation with noWs (#687) Run TODO to Issue #310: Commit 7940a10 pushed by github-merge-queue Bot
17s main
main
17s
fix(Foundations/Syntax): guard substitution notation with noWs (#687) Lean Action CI #4119: Commit 7940a10 pushed by github-merge-queue Bot
7m 4s main
main
7m 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2877: completed by chenson2018
1s
1s
Check PR title for commit convention Check PR title for commit convention #3018: Merge group checks requested
8s
8s
Lean Action CI Lean Action CI #4118: Merge group checks requested
8m 40s
8m 40s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1480: Scheduled
1m 11s main
main
1m 11s
Merge main to nightly-testing Merge main to nightly-testing #2344: Scheduled
1m 4s main
main
1m 4s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1479: Scheduled
58s main
main
58s