Skip to content

Actions: lua-vr/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
222 workflow runs
222 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
merge upstream Run pre-commit and in-place update PR on push #172: Commit 9c54d19 pushed by lua-vr
29s maximal-ergodic-theorem
maximal-ergodic-theorem
29s
merge upstream Run pre-commit and in-place update PR on push #171: Commit 4f28c52 pushed by lua-vr
27s maximal-ergodic-theorem
maximal-ergodic-theorem
27s
more stylistic changes Run pre-commit and in-place update PR on push #170: Commit 73d8ace pushed by lua-vr
29s maximal-ergodic-theorem
maximal-ergodic-theorem
29s
more stylistic changes Run pre-commit and in-place update PR on push #169: Commit fb2aa7e pushed by lua-vr
25s maximal-ergodic-theorem
maximal-ergodic-theorem
25s
review Run pre-commit and in-place update PR on push #168: Commit 356154e pushed by lua-vr
27s maximal-ergodic-theorem
maximal-ergodic-theorem
27s
review Run pre-commit and in-place update PR on push #167: Commit 40a261e pushed by lua-vr
29s maximal-ergodic-theorem
maximal-ergodic-theorem
29s
more improvements Run pre-commit and in-place update PR on push #166: Commit 6557fd2 pushed by lua-vr
28s pointwise-birkhoff-simple
pointwise-birkhoff-simple
28s
merge Measurable.lean into Integrable.lean Run pre-commit and in-place update PR on push #165: Commit d339f37 pushed by lua-vr
26s maximal-ergodic-theorem
maximal-ergodic-theorem
26s
fix the docstring and theorem name Run pre-commit and in-place update PR on push #164: Commit 7ccff38 pushed by lua-vr
29s maximal-ergodic-theorem
maximal-ergodic-theorem
29s
more improvements Run pre-commit and in-place update PR on push #163: Commit 4eb49b7 pushed by lua-vr
39s pointwise-birkhoff-simple
pointwise-birkhoff-simple
39s
more improvements Run pre-commit and in-place update PR on push #162: Commit c188368 pushed by lua-vr
35s pointwise-birkhoff-simple
pointwise-birkhoff-simple
35s
manually write the docstring Run pre-commit and in-place update PR on push #161: Commit e8d015f pushed by lua-vr
31s pointwise-birkhoff-simple
pointwise-birkhoff-simple
31s
fix errors Run pre-commit and in-place update PR on push #160: Commit 9343161 pushed by lua-vr
25s pointwise-birkhoff-simple
pointwise-birkhoff-simple
25s
improvements Run pre-commit and in-place update PR on push #159: Commit 9998114 pushed by lua-vr
33s pointwise-birkhoff-simple
pointwise-birkhoff-simple
33s
merge upstream Run pre-commit and in-place update PR on push #158: Commit e6fe9c5 pushed by lua-vr
31s maximal-ergodic-theorem
maximal-ergodic-theorem
31s
merge upstream Run pre-commit and in-place update PR on push #157: Commit 37c76dd pushed by lua-vr
26s maximal-ergodic-theorem
maximal-ergodic-theorem
26s
prove the full banach space version Run pre-commit and in-place update PR on push #156: Commit f47fcb8 pushed by lua-vr
28s pointwise-birkhoff-simple
pointwise-birkhoff-simple
28s
fix notations Run pre-commit and in-place update PR on push #155: Commit ea33bf2 pushed by lua-vr
27s pointwise-birkhoff-simple
pointwise-birkhoff-simple
27s
review Run pre-commit and in-place update PR on push #154: Commit 4f9bb98 pushed by lua-vr
22s maximal-ergodic-theorem
maximal-ergodic-theorem
22s
Force re-run of CI Run pre-commit and in-place update PR on push #153: Commit 27aecf1 pushed by lua-vr
30s maximal-ergodic-theorem
maximal-ergodic-theorem
30s
fixes Run pre-commit and in-place update PR on push #152: Commit 939b747 pushed by lua-vr
25s pointwise-birkhoff-simple
pointwise-birkhoff-simple
25s
fixes Run pre-commit and in-place update PR on push #151: Commit 60203e0 pushed by lua-vr
31s pointwise-birkhoff-simple
pointwise-birkhoff-simple
31s
fix naming conventions again Run pre-commit and in-place update PR on push #150: Commit 4245e98 pushed by lua-vr
25s maximal-ergodic-theorem
maximal-ergodic-theorem
25s
fixes Run pre-commit and in-place update PR on push #149: Commit aa21e3a pushed by lua-vr
25s pointwise-birkhoff-simple
pointwise-birkhoff-simple
25s
fix naming conventions again Run pre-commit and in-place update PR on push #148: Commit 1a3b0f6 pushed by lua-vr
27s maximal-ergodic-theorem
maximal-ergodic-theorem
27s