Run pre-commit and in-place update PR on push · Workflow runs · rmhi/mathlib4 · GitHub

Actions

All workflows
Workflows
- continuous integration continuous integration
- Declarations diff (post-build) Declarations diff (post-build)
- Export workflow telemetry Export workflow telemetry
- Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing.
- Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push
- Zulip emoji CI status Zulip emoji CI status
Management
- Caches

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

3 workflow runs

3 workflow runs

deprecate cochainsMap Run pre-commit and in-place update PR on push #3: Commit c412af9 pushed by rmhi

35s rh_functoriality

rh_functoriality

35s

fix things Run pre-commit and in-place update PR on push #2: Commit 5e93f0c pushed by rmhi

37s rh_functoriality

rh_functoriality

37s

Merge remote-tracking branch 'upstream/master' into rh_functoriality Run pre-commit and in-place update PR on push #1: Commit fe09930 pushed by rmhi

32s rh_functoriality

rh_functoriality

32s