Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
295 workflow runs
295 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Covering/Vitali: add exists_disjoint_subfamily_covering_enlargement_ball Run pre-commit and in-place update PR on push #33: Commit c754acd pushed by lua-vr
31s vitali-ball
vitali-ball
31s
Covering/Vitali: add exists_disjoint_subfamily_covering_enlargement_ball continuous integration #32: Commit f6f7af2 pushed by lua-vr
2s vitali-ball
vitali-ball
2s
Covering/Vitali: add exists_disjoint_subfamily_covering_enlargement_ball Run pre-commit and in-place update PR on push #32: Commit f6f7af2 pushed by lua-vr
35s vitali-ball
vitali-ball
35s
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
ProTip! You can narrow down the results and go further in time using created:<2026-01-16 or the other filters available.