Skip to content

Actions: YuvalFilmus/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
18 workflow runs
18 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 PolynomialOrder Autolabel PRs #18: Commit 812ab35 pushed by YuvalFilmus
1s PolynomialOrder
PolynomialOrder
1s
Merge branch 'master' into ChebyshevGauss Autolabel PRs #17: Commit bfc3089 pushed by YuvalFilmus
2s ChebyshevGauss
ChebyshevGauss
2s
Merge branch 'master' into PolynomialOrder Autolabel PRs #16: Commit 52c3ea1 pushed by YuvalFilmus
Skipped PolynomialOrder
PolynomialOrder
Skipped
Merge branch 'master' into ChebyshevDerivative1b Autolabel PRs #15: Commit b3346f5 pushed by YuvalFilmus
1s ChebyshevDerivative1b
ChebyshevDerivative1b
1s
Merge branch 'master' into Lagrange2 Autolabel PRs #14: Commit 653af4f pushed by YuvalFilmus
1s Lagrange2
Lagrange2
1s
Merge branch 'leanprover-community:master' into ChebyshevDerivative1a Autolabel PRs #13: Commit 75c566e pushed by YuvalFilmus
1s ChebyshevDerivative1a
ChebyshevDerivative1a
1s
Merge branch 'master' into ChebyshevExtremal Autolabel PRs #12: Commit 43b3c77 pushed by YuvalFilmus
1s ChebyshevExtremal
ChebyshevExtremal
1s
Merge branch 'master' into LagrangeDerivative Autolabel PRs #11: Commit cd9d2c0 pushed by YuvalFilmus
1s LagrangeDerivative
LagrangeDerivative
1s
Merge branch 'master' into ChebyshevExtremalLC Autolabel PRs #10: Commit 28323d9 pushed by YuvalFilmus
1s ChebyshevExtremalLC
ChebyshevExtremalLC
1s
Merge branch 'master' into ChebyshevEval0 Autolabel PRs #9: Commit 164211e pushed by YuvalFilmus
Skipped ChebyshevEval0
ChebyshevEval0
Skipped
Merge branch 'master' into IterateMulPow Autolabel PRs #8: Commit 96c006a pushed by YuvalFilmus
17s IterateMulPow
IterateMulPow
17s
feat: a finite space is Baire. (#33300) Autolabel PRs #7: Commit 519f454 pushed by YuvalFilmus
1s master
master
1s
Added back original file Autolabel PRs #6: Pull request #1 opened by YuvalFilmus
1s
1s
refactor(Algebra/Polynomial/Splits): continue deprecation (#32752) Autolabel PRs #5: Commit aef4be2 pushed by YuvalFilmus
1s master
master
1s
Merge branch 'master' into chebyshev-polynomials-properties Autolabel PRs #4: Commit 09ee771 pushed by YuvalFilmus
2s chebyshev-polynomials-properties
chebyshev-polynomials-properties
2s
Merge branch 'master' into chebyshev-polynomials-properties Autolabel PRs #3: Commit b102f68 pushed by YuvalFilmus
1s chebyshev-polynomials-properties
chebyshev-polynomials-properties
1s
chore(RingSeminorm): use grw and positivity (#31685) Autolabel PRs #2: Commit 6a73927 pushed by YuvalFilmus
1s master
master
1s
Merge branch 'master' into chebyshev-polynomials-properties Autolabel PRs #1: Commit d6a0207 pushed by YuvalFilmus
4s chebyshev-polynomials-properties
chebyshev-polynomials-properties
4s