Skip to content

Actions: faenuccio/fae_mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
28 workflow runs
28 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
chore: deprime FiberBundle.contMDiffAt_extend' (#41175) Autolabel PRs #28: Commit 0baa635 pushed by faenuccio
1s master
master
1s
Merge branch 'master' into fae_HilbertClassField Autolabel PRs #27: Commit 864a7ca pushed by faenuccio
1s fae_HilbertClassField
fae_HilbertClassField
1s
Merge branch 'master' into fae_CLEquivIsHomeo Autolabel PRs #26: Commit 97fc0e0 pushed by faenuccio
1s fae_CLEquivIsHomeo
fae_CLEquivIsHomeo
1s
Merge branch 'master' into fae_coeIsHomeomorph Autolabel PRs #25: Commit 9a34e4e pushed by faenuccio
1s fae_coeIsHomeomorph
fae_coeIsHomeomorph
1s
feat(SimpleGraph): construct a cycle of two distinct paths with same … Autolabel PRs #24: Commit e577c16 pushed by faenuccio
2s master
master
2s
feat(ENat): Nat.cast tends to ⊤ in ENat (#40131) Autolabel PRs #23: Commit 9caeba1 pushed by faenuccio
2s master
master
2s
refactor(MeasureTheory): golf `Mathlib/MeasureTheory/Function/LpSpace… Autolabel PRs #22: Commit 34f7a6c pushed by faenuccio
2s master
master
2s
Merge branch 'master' into fae_uniformConvex_filter Autolabel PRs #21: Commit 7ab24cb pushed by faenuccio
1s fae_uniformConvex_filter
fae_uniformConvex_filter
1s
chore(CategoryTheory/Sites/Canonical): fix universe generality (#38955) Autolabel PRs #20: Commit 8e50052 pushed by faenuccio
1s master
master
1s
feat(CategoryTheory/Monoidal): definition of ring objects (#38366) Autolabel PRs #19: Commit b9600c6 pushed by faenuccio
8s master
master
8s
chore: golf using grind and simp (#36380) Autolabel PRs #18: Commit be5810e pushed by faenuccio
3s master
master
3s
Merge branch 'master' into fae_PR_TrueRankOne Autolabel PRs #17: Commit f90ea2f pushed by mariainesdff
2s fae_PR_TrueRankOne
fae_PR_TrueRankOne
2s
chore: remove deprecated toMap missed in #35335 (#35388) Autolabel PRs #16: Commit 22f2cfd pushed by faenuccio
1s master
master
1s
chore: improve notation in log counting function of Value Distributio… Autolabel PRs #15: Commit eccf962 pushed by faenuccio
1s master
master
1s
Merge branch 'master' into fae_PR_TrueRankOne Autolabel PRs #14: Commit c605a18 pushed by mariainesdff
1s fae_PR_TrueRankOne
fae_PR_TrueRankOne
1s
Merge branch 'fae_PR_RankOne' into fae_PR_TrueRankOne Autolabel PRs #13: Commit 8e7c1d5 pushed by mariainesdff
1s fae_PR_TrueRankOne
fae_PR_TrueRankOne
1s
chore: rename not_IntegrableOn_Ici_inv and not_IntegrableOn_Ioi_inv (… Autolabel PRs #12: Commit 2255913 pushed by faenuccio
1s master
master
1s
Merge branch 'master' into fae_PR_RankOne Autolabel PRs #11: Commit 01331f5 pushed by mariainesdff
1s fae_PR_RankOne
fae_PR_RankOne
1s
Merge branch 'master' into fae_tests Autolabel PRs #10: Commit 9306ef5 pushed by faenuccio
1s fae_tests
fae_tests
1s
feat(RingTheory): no extension is algebraic over the zero ring (#33540) Autolabel PRs #9: Commit 70e9ecf pushed by faenuccio
1s master
master
1s
Merge branch 'master' into fae_MilmanPettis Autolabel PRs #8: Commit 58d870e pushed by faenuccio
1s fae_MilmanPettis
fae_MilmanPettis
1s
chore(Analysis/SpecialFunctions): remove redundant lines (#32413) Autolabel PRs #7: Commit e842f09 pushed by faenuccio
1s master
master
1s
Merge branch 'master' into fae_PR_RankOne Autolabel PRs #6: Commit 766d51b pushed by faenuccio
1s fae_PR_RankOne
fae_PR_RankOne
1s
Merge branch 'master' into fae_MilmanPettis Autolabel PRs #5: Commit fea9117 pushed by faenuccio
1s fae_MilmanPettis
fae_MilmanPettis
1s
Merge branch 'master' into fae_PR_surjLMap_iff_ballRange Autolabel PRs #4: Commit 74b60ab pushed by faenuccio
1s fae_PR_surjLMap_iff_ballRange
fae_PR_surjLMap_iff_ballRange
1s