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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump lean-toolchain on nightly-testing
Bump lean-toolchain on nightly-testing #1200: Scheduled
1m 26s main
Merge main to nightly-testing
Merge main to nightly-testing #1903: Scheduled
1m 3s main
Bump lean-toolchain on nightly-testing
Bump lean-toolchain on nightly-testing #1199: Scheduled
59s main
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2214: completed by mathlib-nightly-testing Bot
26s
Merge main to nightly-testing
Merge main to nightly-testing #1902: Scheduled
1m 9s main
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2213: completed by github-merge-queue Bot
2s
ci: use INFO=true for weekly linting (#526)
Build and Deploy Documentation #172: Commit 2e5e64d pushed by github-merge-queue Bot
4m 53s main
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2212: completed by fmontesi
2s
Lean Action CI
Lean Action CI #3402: Merge group checks requested
5m 50s
Check PR title for commit convention
Check PR title for commit convention #2264: Merge group checks requested
13s
Bump lean-toolchain on nightly-testing
Bump lean-toolchain on nightly-testing #1198: Scheduled
57s main
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2211: completed by mathlib-nightly-testing Bot
27s
Merge main to nightly-testing
Merge main to nightly-testing #1901: Scheduled
1m 2s main
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2210: completed by github-merge-queue Bot
1s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2209: completed by fmontesi
1s
Lean Action CI
Lean Action CI #3399: Merge group checks requested
5m 29s
Check PR title for commit convention
Check PR title for commit convention #2263: Merge group checks requested
14s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2208: completed by fmontesi
1s