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

Actions

All workflows
Workflows
- Autolabel PRs Autolabel PRs
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
- 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
Management
- Caches

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

Actions

Loading...
Loading

3 workflow runs

3 workflow runs

merge Run pre-commit and in-place update PR on push #3: Commit 865008d pushed by fweth

33s topos-definition

topos-definition

33s

[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #2: Commit a8c7661 pushed by pre-commit-ci-lite bot

32s topos-definition

topos-definition

32s

merge upstream Run pre-commit and in-place update PR on push #1: Commit 0d314e4 pushed by fweth

35s topos-definition

topos-definition

35s