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
19 workflow runs
19 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(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
feat(Algebra/EuclideanDomain/Basic) : add div_pow (#31303) Autolabel PRs #3: Commit 7a4fd53 pushed by faenuccio
1s master
master
1s
Merge branch 'master' into fae_PR_map_surjective Autolabel PRs #2: Commit 8b03941 pushed by faenuccio
1s fae_PR_map_surjective
fae_PR_map_surjective
1s
Merge branch 'master' into fae_PR_TrueRankOne Autolabel PRs #1: Commit bf9984f pushed by faenuccio
1s fae_PR_TrueRankOne
fae_PR_TrueRankOne
1s