Autolabel PRs · 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

Autolabel PRs

Actions

Loading...
Loading

add_label_from_diff.yaml

2 workflow runs

2 workflow runs

merge upstream Autolabel PRs #2: Commit 0d314e4 pushed by fweth

1s topos-definition

topos-definition

1s

resolved conflicts with upstream Autolabel PRs #1: Commit 64da406 pushed by fweth

1s topos-definition

topos-definition

1s