Skip to content

Actions: homeowmorphism/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
12 workflow runs
12 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: grind lemmas for IsStarNormal (#36548) Autolabel PRs #12: Commit 56d887c pushed by homeowmorphism
Skipped FreeGroup.map_injective
FreeGroup.map_injective
Skipped
Merge branch 'master' into Group.fg_iff_exists_freeGroup_hom_surjecti… Autolabel PRs #11: Commit 2e201c0 pushed by homeowmorphism
2s Group.fg_iff_exists_freeGroup_hom_surjective_finite
Group.fg_iff_exists_freeGroup_hom_surjective_finite
2s
removed re-indexing code from main file Autolabel PRs #10: Commit 51636ce pushed by homeowmorphism
2s FinitelyPresentedGroup
FinitelyPresentedGroup
2s
Merge remote-tracking branch 'upstream/master' into FinitelyPresented… Autolabel PRs #9: Commit 8b3d2ea pushed by homeowmorphism
1s FinitelyPresentedGroup
FinitelyPresentedGroup
1s
Merge branch 'master' into FreeGroup.map_surjective Autolabel PRs #8: Commit ba4f48b pushed by homeowmorphism
1s FreeGroup.map_surjective
FreeGroup.map_surjective
1s
Merge branch 'master' into FreeGroup.map_surjective Autolabel PRs #7: Commit 189f165 pushed by homeowmorphism
2s Group.fg_iff_exists_freeGroup_hom_surjective_finite
Group.fg_iff_exists_freeGroup_hom_surjective_finite
2s
Merge branch 'master' into FreeGroup.map_surjective Autolabel PRs #6: Commit 189f165 pushed by homeowmorphism
1s FreeGroup.map_surjective
FreeGroup.map_surjective
1s
feat(Order): order types (#34034) Autolabel PRs #5: Commit 3325958 pushed by homeowmorphism
1s master
master
1s
Merge branch 'master' into FreeGroupUnit Autolabel PRs #4: Commit 2d6711c pushed by homeowmorphism
1s FreeGroupUnit
FreeGroupUnit
1s
subgroup.map became subgroup Autolabel PRs #3: Commit efe335f pushed by homeowmorphism
2s FinitelyPresentedGroup
FinitelyPresentedGroup
2s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #2: Commit fd6d1eb pushed by homeowmorphism
1s MonoidHom
MonoidHom
1s
Merge branch 'master' into FinitelyPresentedGroup Autolabel PRs #1: Commit 8dab4b0 pushed by homeowmorphism
4s FinitelyPresentedGroup
FinitelyPresentedGroup
4s