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

Actions

All workflows
Workflows
- continuous integration continuous integration
- 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

6 workflow runs

6 workflow runs

Merge branch 'master' into ichxorya/fix Run pre-commit and in-place update PR on push #6: Commit 8006e28 pushed by ichxorya

25s ichxorya/fix

ichxorya/fix

25s

Merge branch 'master' into ichxorya/fix Run pre-commit and in-place update PR on push #5: Commit e4c0e50 pushed by ichxorya

27s ichxorya/fix

ichxorya/fix

27s

Merge branch 'master' into ichxorya/fix Run pre-commit and in-place update PR on push #4: Commit c99b1de pushed by ichxorya

29s ichxorya/fix

ichxorya/fix

29s

fix: rename "ne" for clarity in multiple files Run pre-commit and in-place update PR on push #3: Commit 8ea7ee2 pushed by ichxorya

24s ichxorya/fix

ichxorya/fix

24s

fix(RingTheory/NoetherNormalization): correct lemma names according t… Run pre-commit and in-place update PR on push #2: Commit c208491 pushed by ichxorya

26s ichxorya/fix

ichxorya/fix

26s

Merge branch 'master' into ichxorya/fix Run pre-commit and in-place update PR on push #1: Commit 3100742 pushed by ichxorya

29s ichxorya/fix

ichxorya/fix

29s