Skip to content

Actions: lua-vr/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add missing docstring continuous integration #25: Commit d5addf3 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
add missing docstring continuous integration #24: Commit 0845c36 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
feat(Dynamics/BirkhoffSum): maximal ergodic theorem continuous integration #23: Commit 082b030 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
temp continuous integration #22: Commit c248bbb pushed by lua-vr
Skipped ergodic-decomposition
ergodic-decomposition
Skipped
feat(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀ continuous integration #21: Commit a3db36c pushed by lua-vr
1s tendsto_monotone_ae
tendsto_monotone_ae
1s
feat(Dynamics/BirkhoffSum): maximal ergodic theorem continuous integration #20: Commit 5f09426 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
feat(Dynamics/BirkhoffSum): maximal ergodic theorem continuous integration #19: Commit 9660228 pushed by lua-vr
1s maximal-inequality
maximal-inequality
1s
feat(Order/PartialSups): add exists_partialSups_eq continuous integration #18: Commit 9ec609d pushed by lua-vr
1s exists_partialSups_eq
exists_partialSups_eq
1s
feat(Integral/Bochnet/Set): add setintegral_compl₀ continuous integration #17: Commit a4b3cf9 pushed by lua-vr
2s setIntegral_compl_ae
setIntegral_compl_ae
2s
feat(Order/PartialSups): add exists_partialSups_eq continuous integration #16: Commit be48558 pushed by lua-vr
1s exists_partialSups_eq
exists_partialSups_eq
1s
feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542) continuous integration #15: Commit 9196e9f pushed by lua-vr
1s ergodic-decomposition
ergodic-decomposition
1s
feat(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀ continuous integration #14: Commit a71da8e pushed by lua-vr
1s tendsto_monotone_ae
tendsto_monotone_ae
1s
feat(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀ continuous integration #13: Commit a71da8e pushed by lua-vr
1s tendsto_monotone₀
tendsto_monotone₀
1s
feat(BirkhoffSum.Pointwise): maximal inequality continuous integration #12: Commit 6afcec8 pushed by lua-vr
1s maximal-inequality
maximal-inequality
1s
feat(BirkhoffSum.Pointwise): maximal inequality continuous integration #11: Commit 17b2219 pushed by lua-vr
1s maximal-inequality
maximal-inequality
1s
feat(BirkhoffSum.Pointwise): maximal inequality continuous integration #10: Commit 58d9b14 pushed by lua-vr
1s maximal-inequality
maximal-inequality
1s
feat(BirkhoffSum.Pointwise): maximal inequality continuous integration #9: Commit ef089fc pushed by lua-vr
1s maximal-inequality
maximal-inequality
1s
feat(BirkhoffSum.Pointwise): maximal inequality continuous integration #8: Commit ae525dc pushed by lua-vr
2s maximal-inequality
maximal-inequality
2s
feat(BirkhoffSum.Pointwise): maximal inequality continuous integration #7: Commit b5100c7 pushed by lua-vr
1s maximal-inequality
maximal-inequality
1s
feat(Integral/Bochnet/Set): add setintegral_compl₀ continuous integration #6: Commit 4270e7b pushed by lua-vr
1s maximal-inequality
maximal-inequality
1s
feat(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀ continuous integration #5: Commit 71fe7d5 pushed by lua-vr
1s tendsto_monotone₀
tendsto_monotone₀
1s
feat(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀ continuous integration #4: Commit eb06d1a pushed by lua-vr
1s tendsto_monotone₀
tendsto_monotone₀
1s
feat(Integral.Bochnet.Set): add tendsto_setIntegral_of_monotone₀ continuous integration #3: Commit 0c8729a pushed by lua-vr
1s tendsto_monotone₀
tendsto_monotone₀
1s
temp continuous integration #2: Commit 2705220 pushed by lua-vr
1s maximal-inequality
maximal-inequality
1s
temp continuous integration #1: Commit e3ae3d3 pushed by lua-vr
1s pointwise-ergodic-thm
pointwise-ergodic-thm
1s