Skip to content

Actions: wwylele/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
23 workflow runs
23 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
Not ready yet. Merge master Autolabel PRs #23: Commit bcecb86 pushed by wwylele
1s pentagonal
pentagonal
1s
address comments Autolabel PRs #22: Commit df8391a pushed by wwylele
1s ideal-pow-equiv
ideal-pow-equiv
1s
Merge branch 'master' into simplex-face-interior Autolabel PRs #21: Commit 531eb5f pushed by wwylele
1s simplex-face-interior
simplex-face-interior
1s
feat(Geometry/Euclidean): volume of a simplex Autolabel PRs #20: Commit 58497e3 pushed by wwylele
1s volume-simplex
volume-simplex
1s
address comments Autolabel PRs #19: Commit e27ffd0 pushed by wwylele
1s volume
volume
1s
address comments Autolabel PRs #18: Commit fbe4c9e pushed by wwylele
1s prod-lp-measure
prod-lp-measure
1s
address comments Autolabel PRs #17: Commit ce2d08b pushed by wwylele
1s pentagonal
pentagonal
1s
Merge remote-tracking branch 'upstream/master' into quadform-alg-closed Autolabel PRs #16: Commit cc62e77 pushed by wwylele
Skipped quadform-alg-closed
quadform-alg-closed
Skipped
feat(Geometry/Euclidean): volume of a simplex Autolabel PRs #15: Commit 8588dc3 pushed by wwylele
2s volume-simplex
volume-simplex
2s
feat(Geometry/Euclidean): volume of a simplex Autolabel PRs #14: Commit cc90550 pushed by wwylele
1s volume-simplex
volume-simplex
1s
feat(LinearAlgebra/AffineSpace): more lemma about simplex face and in… Autolabel PRs #13: Commit a0e117f pushed by wwylele
2s interior-restrict
interior-restrict
2s
address comments Autolabel PRs #12: Commit 141367e pushed by wwylele
1s pentagonal
pentagonal
1s
refactor(QuadraticForm/Complex): generalize to algebraically closed f… Autolabel PRs #11: Commit 739ec12 pushed by wwylele
1s quadform-alg-closed
quadform-alg-closed
1s
feat(Counterexamples): Weierstrass function is continuous and nowhere… Autolabel PRs #10: Commit f1cacc6 pushed by wwylele
1s weierstrass
weierstrass
1s
feat(Topology/InfiniteSum): tprod_one_{add/sub}_ordered Autolabel PRs #9: Commit 2c7f8fd pushed by wwylele
1s prod-one-sub
prod-one-sub
1s
Merge branch 'master' into uniform-continuous Autolabel PRs #8: Commit 388eea6 pushed by wwylele
1s uniform-continuous
uniform-continuous
1s
refactor: re-prove Euler's partition theorem from Glaisher's theorem Autolabel PRs #7: Commit e44571d pushed by wwylele
2s glaisher-euler
glaisher-euler
2s
feat(Combinatorics): Glaisher's theorem Autolabel PRs #6: Commit 564ced7 pushed by wwylele
1s glaisher
glaisher
1s
Move toFinsuppAntidiag Autolabel PRs #5: Commit 7f92a2e pushed by wwylele
1s partition-gen
partition-gen
1s
chore(RingTheory): remove ≠0 condition from Valuation.map_sum_eq_of_lt Autolabel PRs #4: Commit 27f6553 pushed by wwylele
1s valuation-sum
valuation-sum
1s
feat: Hahn embedding theorem Autolabel PRs #3: Commit 0fa3a6f pushed by wwylele
1s wwylele-hahn
wwylele-hahn
1s
feat(GroupTheory): add DivisibleHull Autolabel PRs #2: Commit 4512b13 pushed by wwylele
1s wwylele-hahn-localize
wwylele-hahn-localize
1s
feat(Algebra/Order): Hahn embedding theorem for ordered module Autolabel PRs #1: Commit 90c5c36 pushed by wwylele
1s wwylele-hahn-subgroup
wwylele-hahn-subgroup
1s