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
192 workflow runs
192 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
revert wrap Run pre-commit and in-place update PR on push #192: Commit 5e01a5f pushed by lua-vr
28s rename-birkhoff-apply
rename-birkhoff-apply
28s
re-run ci Run pre-commit and in-place update PR on push #191: Commit 6b74b2d pushed by lua-vr
34s pointwise-birkhoff-simple
pointwise-birkhoff-simple
34s
merge upstream Run pre-commit and in-place update PR on push #190: Commit 40f02c0 pushed by lua-vr
30s dualize-indexed
dualize-indexed
30s
improve Run pre-commit and in-place update PR on push #189: Commit 4d73e4b pushed by lua-vr
15m 2s pointwise-birkhoff-simple
pointwise-birkhoff-simple
15m 2s
more improvements Run pre-commit and in-place update PR on push #188: Commit ab3d7e9 pushed by lua-vr
15m 3s pointwise-birkhoff-simple
pointwise-birkhoff-simple
15m 3s
improve Run pre-commit and in-place update PR on push #187: Commit b6577a1 pushed by lua-vr
8m 21s pointwise-birkhoff-simple
pointwise-birkhoff-simple
8m 21s
more improvements Run pre-commit and in-place update PR on push #186: Commit cab3585 pushed by lua-vr
34s pointwise-birkhoff-simple
pointwise-birkhoff-simple
34s
remove some unused lemmas Run pre-commit and in-place update PR on push #185: Commit f0a5e5d pushed by lua-vr
22s maximal-ergodic-theorem
maximal-ergodic-theorem
22s
rebase onto fix names Run pre-commit and in-place update PR on push #184: Commit 9913652 pushed by lua-vr
27s maximal-ergodic-theorem
maximal-ergodic-theorem
27s
add deprecations for removed lemmas Run pre-commit and in-place update PR on push #183: Commit ce8aedc pushed by lua-vr
24s rename-birkhoff-apply
rename-birkhoff-apply
24s
Apply suggestion from @lua-vr Run pre-commit and in-place update PR on push #182: Commit 3925d2d pushed by lua-vr
29s rename-birkhoff-apply
rename-birkhoff-apply
29s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #181: Commit 5125f6b pushed by pre-commit-ci-lite Bot
20s rename-birkhoff-apply
rename-birkhoff-apply
20s
Apply suggestion from @lua-vr Run pre-commit and in-place update PR on push #180: Commit 3fc4747 pushed by lua-vr
35s rename-birkhoff-apply
rename-birkhoff-apply
35s
self review Run pre-commit and in-place update PR on push #179: Commit f86882c pushed by lua-vr
26s rename-birkhoff-apply
rename-birkhoff-apply
26s
rebase onto fix names Run pre-commit and in-place update PR on push #178: Commit 5a4bdf1 pushed by lua-vr
33s maximal-ergodic-theorem
maximal-ergodic-theorem
33s
self review Run pre-commit and in-place update PR on push #177: Commit 477f89c pushed by lua-vr
26s rename-birkhoff-apply
rename-birkhoff-apply
26s
self review Run pre-commit and in-place update PR on push #176: Commit 599731c pushed by lua-vr
28s rename-birkhoff-apply
rename-birkhoff-apply
28s
use _apply in birkhoff files Run pre-commit and in-place update PR on push #175: Commit caf419a pushed by lua-vr
33s rename-birkhoff-apply
rename-birkhoff-apply
33s
re-run ci Run pre-commit and in-place update PR on push #174: Commit 0b8904b pushed by lua-vr
26s maximal-ergodic-theorem
maximal-ergodic-theorem
26s
merge upstream Run pre-commit and in-place update PR on push #173: Commit 764a559 pushed by lua-vr
24s maximal-ergodic-theorem
maximal-ergodic-theorem
24s
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