Skip to content

Actions: YuvalFilmus/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
454 workflow runs
454 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 error continuous integration #454: Commit d0d9aeb pushed by YuvalFilmus
1s PolynomialOrder
PolynomialOrder
1s
Merge branch 'master' into PolynomialOrder continuous integration #453: Commit 812ab35 pushed by YuvalFilmus
1s PolynomialOrder
PolynomialOrder
1s
Add Submodule.mem_span_image_finset_iff_exists_fun continuous integration #452: Commit 2326d7e pushed by YuvalFilmus
1s ChebyshevGauss
ChebyshevGauss
1s
Update Mathlib/Algebra/Polynomial/Sequence.lean continuous integration #451: Commit ee9e6c4 pushed by YuvalFilmus
1s ChebyshevGauss
ChebyshevGauss
1s
Adapt to span_degreeLT continuous integration #450: Commit b291502 pushed by YuvalFilmus
1s ChebyshevGauss
ChebyshevGauss
1s
Fix long comment continuous integration #449: Commit 30831db pushed by YuvalFilmus
2s ChebyshevGauss
ChebyshevGauss
2s
Merge branch 'master' into ChebyshevGauss continuous integration #448: Commit 0618bff pushed by YuvalFilmus
2s ChebyshevGauss
ChebyshevGauss
2s
Merge branch 'master' into ChebyshevGauss continuous integration #447: Commit bfc3089 pushed by YuvalFilmus
2s ChebyshevGauss
ChebyshevGauss
2s
Documented main theorem continuous integration #446: Commit f83afc5 pushed by YuvalFilmus
2s ChebyshevGauss
ChebyshevGauss
2s
Update Mathlib/Analysis/SpecialFunctions/Trigonometric/Chebyshev/Cheb… continuous integration #445: Commit 11565b5 pushed by YuvalFilmus
1s ChebyshevGauss
ChebyshevGauss
1s
Update Mathlib/Analysis/SpecialFunctions/Trigonometric/Chebyshev/Cheb… continuous integration #444: Commit e24e420 pushed by YuvalFilmus
1s ChebyshevGauss
ChebyshevGauss
1s
Extend abs_iterate_derivative_T_real_le to integer n continuous integration #443: Commit 0b5e852 pushed by YuvalFilmus
1s ChebIterDerLe
ChebIterDerLe
1s
Expanded the module docstring continuous integration #442: Commit bd91a31 pushed by YuvalFilmus
1s PolynomialOrder
PolynomialOrder
1s
Add theorems regarding values below smallest root continuous integration #441: Commit d3c528f pushed by YuvalFilmus
1s PolynomialOrder
PolynomialOrder
1s
Relax assumptions continuous integration #440: Commit 119f074 pushed by YuvalFilmus
1s PolynomialOrder
PolynomialOrder
1s
Merge branch 'master' into PolynomialOrder continuous integration #439: Commit 52c3ea1 pushed by YuvalFilmus
1s PolynomialOrder
PolynomialOrder
1s
Minor improvements continuous integration #438: Commit c217666 pushed by YuvalFilmus
2s PolynomialOrder
PolynomialOrder
2s
Removed Tnat continuous integration #437: Commit e189704 pushed by YuvalFilmus
1s ChebIterDerLe
ChebIterDerLe
1s
Completely rewrite proof of abs_iterate_derivative_T_real_le continuous integration #436: Commit 036bc5a pushed by YuvalFilmus
1s ChebIterDerLe
ChebIterDerLe
1s
Update Mathlib/Analysis/SpecialFunctions/Trigonometric/Chebyshev/Root… continuous integration #435: Commit 9365134 pushed by YuvalFilmus
1s ChebIterDerLe
ChebIterDerLe
1s
Change Icc to Ico continuous integration #434: Commit e54b4a7 pushed by YuvalFilmus
2s ChebIterDerLe
ChebIterDerLe
2s
Small changes continuous integration #433: Commit 021fd8b pushed by YuvalFilmus
1s ChebIterDerLe
ChebIterDerLe
1s
Switch sets of Ts continuous integration #432: Commit 3a7b26c pushed by YuvalFilmus
1s ChebIterDerLe
ChebIterDerLe
1s
Update Mathlib/RingTheory/Polynomial/Chebyshev.lean continuous integration #431: Commit 8d64497 pushed by YuvalFilmus
1s ChebIterDerLe
ChebIterDerLe
1s
Fixed twice continuous integration #430: Commit 2e58f1c pushed by YuvalFilmus
2s ChebIterDerLe
ChebIterDerLe
2s