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
Merge branch 'master' into erdos-stone-2 Autolabel PRs #35: Commit d015f16 pushed by mitchell-horner
1s erdos-stone-2
erdos-stone-2
1s
refactor: generalized weak approximation (#41157) Autolabel PRs #34: Commit 6fd5453 pushed by mitchell-horner
10s master
master
10s
Merge branch 'master' into zarankiewicz Autolabel PRs #33: Commit 2bbbd25 pushed by mitchell-horner
1s zarankiewicz
zarankiewicz
1s
Merge branch 'master' into zarankiewicz Autolabel PRs #32: Commit f5940b2 pushed by mitchell-horner
1s zarankiewicz
zarankiewicz
1s
Merge branch 'master' into erdos-stone-1 Autolabel PRs #31: Commit 4210c2c pushed by mitchell-horner
1s erdos-stone-1
erdos-stone-1
1s
Merge branch 'erdos-stone-1' into erdos-stone-2 Autolabel PRs #30: Commit 911cb01 pushed by mitchell-horner
1s erdos-stone-2
erdos-stone-2
1s
Merge branch 'master' into erdos-stone-1 Autolabel PRs #29: Commit dfac1b6 pushed by mitchell-horner
1s erdos-stone-1
erdos-stone-1
1s
Update KovariSosTuran.lean Autolabel PRs #28: Commit 940b830 pushed by mitchell-horner
2s mitchell-horner/kovari-sos-turan
mitchell-horner/kovari-sos-turan
2s
Merge branch 'master' into mitchell-horner/kovari-sos-turan Autolabel PRs #27: Commit 640f458 pushed by mitchell-horner
1s mitchell-horner/kovari-sos-turan
mitchell-horner/kovari-sos-turan
1s
Merge branch 'master' into zarankiewicz Autolabel PRs #26: Commit 9e1a2b2 pushed by mitchell-horner
1s zarankiewicz
zarankiewicz
1s
Update ErdosStoneSimonovits.lean Autolabel PRs #25: Commit 516809a pushed by mitchell-horner
1s erdos-stone-1
erdos-stone-1
1s
Merge branch 'master' into turan-density-sinf Autolabel PRs #24: Commit 233d33a pushed by mitchell-horner
1s turan-density-sinf
turan-density-sinf
1s
Merge branch 'master' into complete-equipartite-subgraph Autolabel PRs #23: Commit fdc350b pushed by mitchell-horner
1s complete-equipartite-subgraph
complete-equipartite-subgraph
1s
Merge branch 'master' into bipartiteDoubleCover Autolabel PRs #22: Commit 888edeb pushed by mitchell-horner
1s bipartiteDoubleCover
bipartiteDoubleCover
1s
feat(Algebra/Algebra/Spectrum/Basic): resolvent set of negative eleme… Autolabel PRs #21: Commit eeb0516 pushed by mitchell-horner
1s master
master
1s
feat(Analysis/Distribution): tsupport of smulLeftCLM (#34595) Autolabel PRs #20: Commit 86a6928 pushed by mitchell-horner
1s master
master
1s
Use SimpleGraph (Fin n) Autolabel PRs #19: Commit 90f4b82 pushed by mitchell-horner
1s turan-density-sinf
turan-density-sinf
1s
Update TuranDensity.lean Autolabel PRs #18: Commit 6fcd412 pushed by mitchell-horner
1s turan-density-sinf
turan-density-sinf
1s
Move Monotone section from NNReal to Real Autolabel PRs #17: Commit 05963a2 pushed by mitchell-horner
Skipped real-tendsto-bdd-tone
real-tendsto-bdd-tone
Skipped
Merge branch 'master' into complete-equipartite-subgraph Autolabel PRs #16: Commit 7dd7cb0 pushed by mitchell-horner
1s complete-equipartite-subgraph
complete-equipartite-subgraph
1s
Update Mathlib.lean Autolabel PRs #15: Commit e093976 pushed by mitchell-horner
Skipped mitchell-horner/kovari-sos-turan
mitchell-horner/kovari-sos-turan
Skipped
chore(Analysis/Calculus): remove unnecessary @[expose] from public se… Autolabel PRs #14: Commit d55eaa8 pushed by mitchell-horner
1s master
master
1s
Merge branch 'master' into turan-2 Autolabel PRs #13: Commit e1893ff pushed by mitchell-horner
1s turan-2
turan-2
1s
Merge branch 'master' into turan Autolabel PRs #12: Commit 4c4ca1b pushed by mitchell-horner
1s turan
turan
1s
Merge branch 'master' into complete-equipartite-subgraph Autolabel PRs #11: Commit 62414b9 pushed by mitchell-horner
1s complete-equipartite-subgraph
complete-equipartite-subgraph
1s