Run pre-commit and in-place update PR on push · Workflow runs · KryptosAI/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

1 workflow run

1 workflow run

Merge branch 'master' into feat/moore-penrose-inverse Run pre-commit and in-place update PR on push #1: Commit 95700e1 pushed by KryptosAI

34s feat/moore-penrose-inverse

feat/moore-penrose-inverse

34s