Skip to content

Actions: mitchell-horner/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
35 workflow runs
35 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Refactor toCopy Autolabel PRs #10: Commit 3a85b5d pushed by mitchell-horner
Skipped complete-bipartite-subgraph
complete-bipartite-subgraph
Skipped
Merge branch 'master' into is-complete-between Autolabel PRs #9: Commit cd8f30e pushed by mitchell-horner
Skipped is-complete-between
is-complete-between
Skipped
Merge branch 'master' into mitchell-horner/between Autolabel PRs #8: Commit 3b1bb4a pushed by mitchell-horner
1s mitchell-horner/between
mitchell-horner/between
1s
Use Fin n Autolabel PRs #7: Commit a7c81a9 pushed by mitchell-horner
1s turan-density-sinf
turan-density-sinf
1s
chore(FieldTheory/NormalizedTrace): fix typos (#30764) Autolabel PRs #6: Commit ec382b5 pushed by mitchell-horner
2s master
master
2s
Merge branch 'master' into one_sub-results Autolabel PRs #5: Commit 6fc047a pushed by mitchell-horner
1s one_sub-results
one_sub-results
1s
Merge branch 'master' into mitchell-horner/between Autolabel PRs #4: Commit 6dd888e pushed by mitchell-horner
1s mitchell-horner/between
mitchell-horner/between
1s
Merge branch 'master' into mitchell-horner/kovari-sos-turan Autolabel PRs #3: Commit 7c8bf3f pushed by mitchell-horner
1s mitchell-horner/kovari-sos-turan
mitchell-horner/kovari-sos-turan
1s
Merge branch 'master' into mitchell-horner/turan-density Autolabel PRs #2: Commit d3b7303 pushed by mitchell-horner
1s mitchell-horner/turan-density
mitchell-horner/turan-density
1s
Merge branch 'master' into mitchell-horner/between Autolabel PRs #1: Commit 87b84ac pushed by mitchell-horner
3s mitchell-horner/between
mitchell-horner/between
3s