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

Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2301: completed by WegmannDavid
2s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2300: completed by chenson2018
2s
Bump lean-toolchain on nightly-testing
Bump lean-toolchain on nightly-testing #1248: Scheduled
23s main
Merge main to nightly-testing
Merge main to nightly-testing #1976: Scheduled
59s main
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2299: completed by thomaskwaring
1s
Bump lean-toolchain on nightly-testing
Bump lean-toolchain on nightly-testing #1247: Scheduled
41s main
Merge main to nightly-testing
Merge main to nightly-testing #1975: Scheduled
1m 10s main
Bump lean-toolchain on nightly-testing
Bump lean-toolchain on nightly-testing #1246: Scheduled
29s main
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2298: completed by mathlib-nightly-testing Bot
17s
Merge main to nightly-testing
Merge main to nightly-testing #1974: Scheduled
1m 21s main
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2297: completed by github-merge-queue Bot
2s
feat: precise close_preserve_not_fvar (#580)
Build and Deploy Documentation #179: Commit caa9a9c pushed by github-merge-queue Bot
41m 19s main
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #2296: completed by chenson2018
2s
Lean Action CI
Lean Action CI #3494: Merge group checks requested
5m 43s