Skip to content

Actions: xroblot/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
77 workflow runs
77 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 discr_isUnramifiedIn Autolabel PRs #77: Commit 76e33a0 pushed by xroblot
1s discr_isUnramifiedIn
discr_isUnramifiedIn
1s
wip Autolabel PRs #76: Commit 85a7913 pushed by xroblot
8s galfields8
galfields8
8s
Merge remote-tracking branch 'upstream/master' into galideals Autolabel PRs #75: Commit 2935ea2 pushed by xroblot
1s galideals
galideals
1s
Merge branch 'galfields5' into galfields6 Autolabel PRs #74: Commit 9a1f3d7 pushed by xroblot
8s galfields6
galfields6
8s
fix after merge Autolabel PRs #73: Commit 3587e61 pushed by xroblot
2s galfields5
galfields5
2s
Merge branch 'master' into restrictHom1 Autolabel PRs #72: Commit 80d425f pushed by xroblot
1s restrictHom1
restrictHom1
1s
fix after merge Autolabel PRs #71: Commit eaeeb03 pushed by xroblot
1s galfields4
galfields4
1s
Merge remote-tracking branch 'upstream/master' into primitivemaptoone Autolabel PRs #70: Commit 9e12a5a pushed by xroblot
9s primitivemaptoone
primitivemaptoone
9s
Merge branch 'master' into restrictHom1 Autolabel PRs #69: Commit bf98076 pushed by xroblot
1s restrictHom1
restrictHom1
1s
Merge remote-tracking branch 'upstream/master' into primitivemaptoone Autolabel PRs #68: Commit 8d2a3d3 pushed by xroblot
Skipped primitivemaptoone
primitivemaptoone
Skipped
clean up Autolabel PRs #67: Commit 4463cc9 pushed by xroblot
2s restrictHom1
restrictHom1
2s
Merge branch 'master' into zmod_coe_int_isunit Autolabel PRs #66: Commit 9571513 pushed by xroblot
2s zmod_coe_int_isunit
zmod_coe_int_isunit
2s
Merge remote-tracking branch 'upstream/master' into igg_constructors Autolabel PRs #65: Commit 4672666 pushed by xroblot
1s igg_constructors
igg_constructors
1s
Merge remote-tracking branch 'upstream/master' into refactor_isgalois… Autolabel PRs #64: Commit 6a1b401 pushed by xroblot
1s refactor_isgaloisgroupquotient
refactor_isgaloisgroupquotient
1s
Merge remote-tracking branch 'upstream/master' into igg_mulEquivCongr… Autolabel PRs #63: Commit 3d4d509 pushed by xroblot
1s igg_mulEquivCongrOfDomain
igg_mulEquivCongrOfDomain
1s
Merge branch 'master' into igg_refactor Autolabel PRs #62: Commit 2e948f8 pushed by xroblot
1s igg_refactor
igg_refactor
1s
chore(FieldTheory/Galois/IsGaloisGroup): fix shadowed variable declar… Autolabel PRs #61: Commit b43a4e7 pushed by xroblot
1s chore_IsGaloisGroup_variables
chore_IsGaloisGroup_variables
1s
fix Autolabel PRs #60: Commit 4a24961 pushed by xroblot
2s wip
wip
2s
1st commit Autolabel PRs #59: Commit 08ab8d7 pushed by xroblot
1s ringofintegersfg
ringofintegersfg
1s
1st commit Autolabel PRs #58: Commit c4d75f4 pushed by xroblot
1s galideals
galideals
1s
fix after merge Autolabel PRs #57: Commit e7945c7 pushed by xroblot
1s cyclo-dual_gal
cyclo-dual_gal
1s
Merge remote-tracking branch 'upstream/master' into mulchar_dual_iso Autolabel PRs #56: Commit ec0ef58 pushed by xroblot
1s mulchar_dual_iso
mulchar_dual_iso
1s
Merge remote-tracking branch 'upstream/master' into wip Autolabel PRs #55: Commit e05ab86 pushed by xroblot
1s wip
wip
1s
Merge remote-tracking branch 'origin/instmulaction' into galfields_wip Autolabel PRs #54: Commit b6062c1 pushed by xroblot
2s galfields_wip
galfields_wip
2s
wip Autolabel PRs #53: Commit 70f57bb pushed by xroblot
1s galfields_wip
galfields_wip
1s