Skip to content

Actions: justus-springer/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
21 workflow runs
21 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
min imports Autolabel PRs #21: Commit edf6b86 pushed by justus-springer
1s justus/exterior-power-inner-product
justus/exterior-power-inner-product
1s
Merge branch 'master' into justus/birational_maps Autolabel PRs #20: Commit 90d2208 pushed by justus-springer
1s justus/birational_maps
justus/birational_maps
1s
Merge branch 'justus/rationalMap_composition' of https://github.com/j… Autolabel PRs #19: Commit cef5a15 pushed by justus-springer
1s justus/rationalMap_composition
justus/rationalMap_composition
1s
Merge branch 'master' into justus/MvPowerSeries_pderiv Autolabel PRs #18: Commit a380513 pushed by justus-springer
1s justus/MvPowerSeries_pderiv
justus/MvPowerSeries_pderiv
1s
Merge branch 'master' into justus/MvPowerSeries_pderiv Autolabel PRs #17: Commit 686ff66 pushed by justus-springer
1s justus/MvPowerSeries_pderiv
justus/MvPowerSeries_pderiv
1s
Merge branch 'master' into justus/rationalMap_composition Autolabel PRs #16: Commit 37bf729 pushed by justus-springer
1s justus/rationalMap_composition
justus/rationalMap_composition
1s
Merge branch 'master' into justus/MvPolynomial_smooth Autolabel PRs #15: Commit 23818b9 pushed by justus-springer
1s justus/MvPolynomial_smooth
justus/MvPolynomial_smooth
1s
Merge branch 'master' into justus/MvPowerSeries_trunc_lemmas Autolabel PRs #14: Commit 752a8c1 pushed by justus-springer
1s justus/MvPowerSeries_trunc_lemmas
justus/MvPowerSeries_trunc_lemmas
1s
Merge branch 'master' into justus/MvPolynomial_coeff_C_lemmas Autolabel PRs #13: Commit 140197e pushed by justus-springer
1s justus/MvPolynomial_coeff_C_lemmas
justus/MvPolynomial_coeff_C_lemmas
1s
Merge branch 'master' into justus/birational Autolabel PRs #12: Commit bf1494e pushed by justus-springer
2s justus/birational
justus/birational
2s
fix Autolabel PRs #11: Commit 958b6e2 pushed by justus-springer
2s justus/universally_injective_iff_racidal
justus/universally_injective_iff_racidal
2s
fix Autolabel PRs #10: Commit 90d57b6 pushed by justus-springer
2s justus/cremona
justus/cremona
2s
Merge branch 'master' into justus/rationalMap_composition Autolabel PRs #9: Commit d5b5284 pushed by justus-springer
2s justus/rationalMap_composition
justus/rationalMap_composition
2s
Merge branch 'master' into justus/birational Autolabel PRs #8: Commit eafbf8f pushed by justus-springer
2s justus/birational
justus/birational
2s
Merge branch 'master' into justus/restrictScalars Autolabel PRs #7: Commit 9d6c1b9 pushed by justus-springer
1s justus/restrictScalars
justus/restrictScalars
1s
progress Autolabel PRs #6: Commit 9bbfd54 pushed by justus-springer
1s justus/refactor_restrictScalars
justus/refactor_restrictScalars
1s
remove duplicate instances Autolabel PRs #5: Commit 2a2725e pushed by justus-springer
1s justus/delete_duplicate_instIsReducedToScheme
justus/delete_duplicate_instIsReducedToScheme
1s
feat: if s ∪ t is directed then one of s or t is (#37304) Autolabel PRs #4: Commit 370a1ed pushed by justus-springer
1s master
master
1s
add Octahedron₁ Autolabel PRs #3: Commit 76da165 pushed by justus-springer
1s justus/octahedron1
justus/octahedron1
1s
chore(Tactic/CasesM): improve casesm, cases_type and `constructor… Autolabel PRs #2: Commit 83bccbf pushed by justus-springer
1s master
master
1s
add shiftClosure Autolabel PRs #1: Commit 0bea6b3 pushed by justus-springer
1s justus/shiftClosure
justus/shiftClosure
1s