Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix proof Run pre-commit and in-place update PR on push #31: Commit 0075a18 pushed by lua-vr
31s maximal-ergodic-theorem
maximal-ergodic-theorem
31s
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 Run pre-commit and in-place update PR on push #30: Commit cc1da7f pushed by lua-vr
23s maximal-ergodic-theorem
maximal-ergodic-theorem
23s
add missing docstring continuous integration #29: Commit 2bb1464 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
add missing docstring Run pre-commit and in-place update PR on push #29: Commit 2bb1464 pushed by lua-vr
31s maximal-ergodic-theorem
maximal-ergodic-theorem
31s
add missing docstring Autolabel PRs #5: Commit 0215e41 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
add missing docstring Run pre-commit and in-place update PR on push #28: Commit 0215e41 pushed by lua-vr
31s maximal-ergodic-theorem
maximal-ergodic-theorem
31s
add missing docstring continuous integration #28: Commit 0215e41 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
deprecation date, consistent naming Run pre-commit and in-place update PR on push #27: Commit 5993ed0 pushed by lua-vr
31s tendsto_monotone_ae
tendsto_monotone_ae
31s
deprecation date, consistent naming continuous integration #27: Commit 5993ed0 pushed by lua-vr
1s tendsto_monotone_ae
tendsto_monotone_ae
1s
Anne's suggestions Run pre-commit and in-place update PR on push #26: Commit 4b3bb70 pushed by lua-vr
30s exists_partialSups_eq
exists_partialSups_eq
30s
Anne's suggestions continuous integration #26: Commit 4b3bb70 pushed by lua-vr
2s exists_partialSups_eq
exists_partialSups_eq
2s
Anne's suggestions Autolabel PRs #4: 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 Run pre-commit and in-place update PR on push #25: Commit d5addf3 pushed by lua-vr
20s maximal-ergodic-theorem
maximal-ergodic-theorem
20s
add missing docstring Run pre-commit and in-place update PR on push #24: Commit 0845c36 pushed by lua-vr
24s maximal-ergodic-theorem
maximal-ergodic-theorem
24s
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
feat(Dynamics/BirkhoffSum): maximal ergodic theorem Run pre-commit and in-place update PR on push #23: Commit 082b030 pushed by lua-vr
22s maximal-ergodic-theorem
maximal-ergodic-theorem
22s
temp continuous integration #22: Commit c248bbb pushed by lua-vr
Skipped ergodic-decomposition
ergodic-decomposition
Skipped
temp Run pre-commit and in-place update PR on push #22: Commit c248bbb pushed by lua-vr
22s ergodic-decomposition
ergodic-decomposition
22s
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(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀ Autolabel PRs #3: Commit a3db36c pushed by lua-vr
1s tendsto_monotone_ae
tendsto_monotone_ae
1s
feat(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀ Run pre-commit and in-place update PR on push #21: Commit a3db36c pushed by lua-vr
23s tendsto_monotone_ae
tendsto_monotone_ae
23s