Skip to content

Actions: lua-vr/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
87 workflow runs
87 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
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #37: Commit 7d59139 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
suggestions continuous integration #36: Commit cd0e4dd pushed by lua-vr
1s indexed
indexed
1s
suggestions continuous integration #35: Commit 4440dcf pushed by lua-vr
1s indexed
indexed
1s
feat(ConditionallyCompleteLattice): add arity-two versions of iSup le… continuous integration #34: Commit ebdea2e pushed by lua-vr
1s indexed
indexed
1s
Covering/Vitali: add exists_disjoint_subfamily_covering_enlargement_ball continuous integration #33: Commit c754acd pushed by lua-vr
1s vitali-ball
vitali-ball
1s
Covering/Vitali: add exists_disjoint_subfamily_covering_enlargement_ball continuous integration #32: Commit f6f7af2 pushed by lua-vr
2s vitali-ball
vitali-ball
2s
fix proof continuous integration #31: Commit 0075a18 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
add missing docstring continuous integration #30: Commit cc1da7f pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
add missing docstring continuous integration #29: Commit 2bb1464 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
add missing docstring continuous integration #28: Commit 0215e41 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
deprecation date, consistent naming continuous integration #27: Commit 5993ed0 pushed by lua-vr
1s tendsto_monotone_ae
tendsto_monotone_ae
1s
Anne's suggestions continuous integration #26: Commit 4b3bb70 pushed by lua-vr
2s exists_partialSups_eq
exists_partialSups_eq
2s
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