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
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
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 Run pre-commit and in-place update PR on push #20: Commit 5f09426 pushed by lua-vr
25s maximal-ergodic-theorem
maximal-ergodic-theorem
25s
feat(Dynamics/BirkhoffSum): maximal ergodic theorem Run pre-commit and in-place update PR on push #19: Commit 9660228 pushed by lua-vr
22s maximal-inequality
maximal-inequality
22s
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 Run pre-commit and in-place update PR on push #18: Commit 9ec609d pushed by lua-vr
25s exists_partialSups_eq
exists_partialSups_eq
25s
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₀ Run pre-commit and in-place update PR on push #17: Commit a4b3cf9 pushed by lua-vr
28s setIntegral_compl_ae
setIntegral_compl_ae
28s
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(Order/PartialSups): add exists_partialSups_eq Run pre-commit and in-place update PR on push #16: Commit be48558 pushed by lua-vr
29s exists_partialSups_eq
exists_partialSups_eq
29s
feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542) Autolabel PRs #2: Commit 9196e9f pushed by lua-vr
1s ergodic-decomposition
ergodic-decomposition
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(RingTheory/KrullDimension): dimension of polynomial ring (#27542) Run pre-commit and in-place update PR on push #15: Commit 9196e9f pushed by lua-vr
34s ergodic-decomposition
ergodic-decomposition
34s
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₀ Run pre-commit and in-place update PR on push #14: Commit a71da8e pushed by lua-vr
28s tendsto_monotone_ae
tendsto_monotone_ae
28s
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(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀ Run pre-commit and in-place update PR on push #13: Commit a71da8e pushed by lua-vr
22s tendsto_monotone₀
tendsto_monotone₀
22s
feat(BirkhoffSum.Pointwise): maximal inequality Run pre-commit and in-place update PR on push #12: Commit 6afcec8 pushed by lua-vr
26s maximal-inequality
maximal-inequality
26s
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 Run pre-commit and in-place update PR on push #11: Commit 17b2219 pushed by lua-vr
28s maximal-inequality
maximal-inequality
28s
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
ProTip! You can narrow down the results and go further in time using created:<2025-12-26 or the other filters available.