Skip to content

Actions: fbarroero/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
20 workflow runs
20 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
feat: correspondence between affine group schemes and Hopf algebras (… Autolabel PRs #20: Commit 3ad2bba pushed by fbarroero
1s master
master
1s
Merge branch 'master' into fbarroero_intMinpoly Autolabel PRs #19: Commit d997692 pushed by fbarroero
1s fbarroero_intMinpoly
fbarroero_intMinpoly
1s
Merge branch 'master' into fbarroero-Sintegers_localization Autolabel PRs #18: Commit 84c5339 pushed by fbarroero
2s fbarroero-Sintegers_localization
fbarroero-Sintegers_localization
2s
chore: move RingQuot results (#40823) Autolabel PRs #17: Commit 5392b8a pushed by fbarroero
7s master
master
7s
Merge branch 'master' into fbarroero_intMinpoly Autolabel PRs #16: Commit 2baa3d1 pushed by fbarroero
3s fbarroero_intMinpoly
fbarroero_intMinpoly
3s
Merge branch 'master' into fbarroero_intMinpoly Autolabel PRs #15: Commit 7699047 pushed by fbarroero
1s fbarroero_intMinpoly
fbarroero_intMinpoly
1s
fix: decls with a non-consecutive duplicate namespace (#39794) Autolabel PRs #14: Commit 268c902 pushed by fbarroero
1s master
master
1s
Merge branch 'fbarroero_integerNormalization_eq_zero_iff' into fbarro… Autolabel PRs #13: Commit c3c24fe pushed by fbarroero
1s fbarroero_intMinpoly
fbarroero_intMinpoly
1s
Merge branch 'master' into fbarroero_integerNormalization_eq_zero_iff Autolabel PRs #12: Commit 8dd599e pushed by fbarroero
2s fbarroero_integerNormalization_eq_zero_iff
fbarroero_integerNormalization_eq_zero_iff
2s
fix: weird imports in TestFunction.lean (#36303) Autolabel PRs #11: Commit 83db511 pushed by fbarroero
1s master
master
1s
Merge branch 'master' into fbarroero-gaussNorm_abv Autolabel PRs #10: Commit 407271f pushed by fbarroero
2s fbarroero-gaussNorm_abv
fbarroero-gaussNorm_abv
2s
Merge branch 'master' into fbarroero-gaussNorm_abv Autolabel PRs #9: Commit cff6199 pushed by fbarroero
1s fbarroero-gaussNorm_abv
fbarroero-gaussNorm_abv
1s
ci: Skip build_fork workflow when changes are made only to workflow f… Autolabel PRs #8: Commit bded2cc pushed by fbarroero
1s master
master
1s
Merge branch 'master' into fbarroero_GaussLemmaDedekind Autolabel PRs #7: Commit 7b375df pushed by fbarroero
1s fbarroero_GaussLemmaDedekind
fbarroero_GaussLemmaDedekind
1s
feat(MetricSpace/Algebra): prove uniform continuity of (· • ·) (#33… Autolabel PRs #6: Commit bf08a1b pushed by fbarroero
1s master
master
1s
Merge branch 'master' into fbarroero_MMKron Autolabel PRs #5: Commit 22fc948 pushed by fbarroero
1s fbarroero_MMKron
fbarroero_MMKron
1s
chore(RingTheory/Smooth): demote superseded instance to theorem (… Autolabel PRs #4: Commit fbaa01c pushed by fbarroero
1s master
master
1s
Merge branch 'master' into fbarroero_intMahlerMeasure Autolabel PRs #3: Commit 144a231 pushed by fbarroero
25s fbarroero_intMahlerMeasure
fbarroero_intMahlerMeasure
25s
Merge branch 'master' into fbarroero_MahlerMeasure3 Autolabel PRs #2: Commit 79e5657 pushed by fbarroero
1s fbarroero_MahlerMeasure3
fbarroero_MahlerMeasure3
1s
feat(Topology): countable product of extended metric spaces (#30822) Autolabel PRs #1: Commit 9ab1fcc pushed by fbarroero
1s master
master
1s