Skip to content

Actions: kbuzzard/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
26 workflow runs
26 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
fix truncated review suggestion; align add_group with current group t… Autolabel PRs #26: Commit 41de58e pushed by kbuzzard
1s kbuzzard-add-group
kbuzzard-add-group
1s
Merge branch 'master' into kbuzzard-radar-test Autolabel PRs #25: Commit 15cb98b pushed by kbuzzard
1s kbuzzard-radar-test
kbuzzard-radar-test
1s
Merge branch 'master' into kbuzzard-all-addmonoids-are-commutative Autolabel PRs #24: Commit 63bdd3c pushed by kbuzzard
1s kbuzzard-all-addmonoids-are-commutative
kbuzzard-all-addmonoids-are-commutative
1s
feat(EllipticCurve): zsmul formula in terms of division polynomials Autolabel PRs #23: Commit 6b2e696 pushed by kbuzzard
2s DivisionPolynomial_smul-bump
DivisionPolynomial_smul-bump
2s
Merge branch 'master' into kbuzzard-universe-test Autolabel PRs #22: Commit f88d2dd pushed by kbuzzard
6s kbuzzard-universe-test
kbuzzard-universe-test
6s
chore: make FiniteAdeleRing an abbrev Autolabel PRs #21: Commit 269d4cf pushed by kbuzzard
1s kbuzzard-finiteadelering-abbrev
kbuzzard-finiteadelering-abbrev
1s
Merge branch 'master' into kbuzzard-universe-test Autolabel PRs #20: Commit d16f2c6 pushed by kbuzzard
1s kbuzzard-universe-test
kbuzzard-universe-test
1s
Merge branch 'master' into kbuzzard-rightAlgebra-refactor2 Autolabel PRs #19: Commit cd84f88 pushed by kbuzzard
1s kbuzzard-rightAlgebra-refactor2
kbuzzard-rightAlgebra-refactor2
1s
Merge branch 'master' into kbuzzard-toIsModuleTopology-raise-prio Autolabel PRs #18: Commit 62a2539 pushed by kbuzzard
1s kbuzzard-toIsModuleTopology-raise-prio
kbuzzard-toIsModuleTopology-raise-prio
1s
Merge branch 'master' into kbuzzard-rightAlgebra-refactor Autolabel PRs #17: Commit 031c567 pushed by kbuzzard
2s kbuzzard-rightAlgebra-refactor
kbuzzard-rightAlgebra-refactor
2s
delete now-not-necessary W:=W Autolabel PRs #16: Commit 0b683b8 pushed by kbuzzard
1s kbuzzard-classgroup-explicit-field
kbuzzard-classgroup-explicit-field
1s
Merge branch 'master' into kbuzzard-alphabetical-universe Autolabel PRs #15: Commit b927f91 pushed by kbuzzard
1s kbuzzard-alphabetical-universe
kbuzzard-alphabetical-universe
1s
Merge branch 'master' into kbuzzard-fast-instances Autolabel PRs #14: Commit d8c7ce6 pushed by kbuzzard
1s kbuzzard-fast-instances
kbuzzard-fast-instances
1s
Merge branch 'master' into kbuzzard-rightAlgebra-refactor Autolabel PRs #13: Commit b847e16 pushed by kbuzzard
1s kbuzzard-rightAlgebra-refactor
kbuzzard-rightAlgebra-refactor
1s
Merge branch 'master' into kbuzzard-higher-prio-note Autolabel PRs #12: Commit 39ca0bd pushed by kbuzzard
1s kbuzzard-higher-prio-note
kbuzzard-higher-prio-note
1s
perf(Algebra/*) fast_instance% for prio 100 instances Autolabel PRs #11: Commit de424d3 pushed by kbuzzard
1s kbuzzard-fastinstance-prio100-algebra
kbuzzard-fastinstance-prio100-algebra
1s
fix some set-option Autolabel PRs #10: Pull request #2 opened by Whysoserioushah
1s
1s
fix: revert and fix #38703 Autolabel PRs #9: Pull request #1 opened by eric-wieser
1s
1s
Merge branch 'master' into kbuzzard-MultoSMul-benchmarking Autolabel PRs #8: Commit 19f171c pushed by kbuzzard
1s kbuzzard-MultoSMul-benchmarking
kbuzzard-MultoSMul-benchmarking
1s
feat: add dsimp% elaborator (#36043) Autolabel PRs #7: Commit 45362d7 pushed by kbuzzard
1s kbuzzard-master
kbuzzard-master
1s
perf: try lowering prio for A(0) instances, A a graded object Autolabel PRs #6: Commit 8880726 pushed by kbuzzard
2s kbuzzard-grade-zero-prios
kbuzzard-grade-zero-prios
2s
feat(LinearAlgebra/AffineSpace/FiniteDimensional): affine independenc… Autolabel PRs #5: Commit 3bf9fd7 pushed by kbuzzard
1s kbuzzard-master
kbuzzard-master
1s
Merge branch 'master' into kbuzzard-alphabetical-universe Autolabel PRs #4: Commit 992b41c pushed by kbuzzard
1s kbuzzard-alphabetical-universe
kbuzzard-alphabetical-universe
1s
chore: cont -> continuous_toFun Autolabel PRs #3: Commit 5d91501 pushed by kbuzzard
1s kbuzzard-decont
kbuzzard-decont
1s
feat(Algebra/MvPolynomial/Basic): add MvPolynomial.support_C (#32876) Autolabel PRs #2: Commit 89423f9 pushed by kbuzzard
1s kbuzzard-master
kbuzzard-master
1s