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
87 workflow runs
87 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
fix bad import Run pre-commit and in-place update PR on push #87: Commit 193fe4e pushed by lua-vr
34s maximal-ergodic-theorem
maximal-ergodic-theorem
34s
feat: make topologicalClosure a ClosureOperator Run pre-commit and in-place update PR on push #86: Commit ebf1870 pushed by lua-vr
26s top-closure-operator
top-closure-operator
26s
feat: make topologicalClosure a ClosureOperator Run pre-commit and in-place update PR on push #85: Commit 073ff37 pushed by lua-vr
26s top-closure-operator
top-closure-operator
26s
feat: make topologicalClosure a ClosureOperator Run pre-commit and in-place update PR on push #84: Commit a431255 pushed by lua-vr
27s top-closure-operator
top-closure-operator
27s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #83: Commit 35e1a65 pushed by lua-vr
27s pointwise-birkhoff
pointwise-birkhoff
27s
closure: two lemmas Run pre-commit and in-place update PR on push #82: Commit 5e83c4f pushed by lua-vr
36s closure-sup-le
closure-sup-le
36s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #81: Commit 89f768f pushed by lua-vr
27s pointwise-birkhoff
pointwise-birkhoff
27s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #80: Commit d67de5b pushed by lua-vr
29s pointwise-birkhoff
pointwise-birkhoff
29s
merge upstream Run pre-commit and in-place update PR on push #79: Commit 0f3829e pushed by lua-vr
26s maximal-ergodic-theorem
maximal-ergodic-theorem
26s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #78: Commit 16a306b pushed by pre-commit-ci-lite Bot
31s maximal-ergodic-theorem
maximal-ergodic-theorem
31s
merge upstream Run pre-commit and in-place update PR on push #77: Commit 9c6e722 pushed by lua-vr
28s maximal-ergodic-theorem
maximal-ergodic-theorem
28s
add reference Run pre-commit and in-place update PR on push #76: Commit e06600b pushed by lua-vr
25s maximal-ergodic-theorem
maximal-ergodic-theorem
25s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #75: Commit de2c4a0 pushed by lua-vr
28s pointwise-birkhoff
pointwise-birkhoff
28s
fixes Run pre-commit and in-place update PR on push #74: Commit e19202a pushed by lua-vr
24s dualize-indexed
dualize-indexed
24s
merge upstream Run pre-commit and in-place update PR on push #73: Commit 271a91c pushed by lua-vr
21s dualize-indexed
dualize-indexed
21s
merge upstream Run pre-commit and in-place update PR on push #72: Commit b86c675 pushed by lua-vr
27s dualize-indexed
dualize-indexed
27s
merge upstream Run pre-commit and in-place update PR on push #71: Commit c23b520 pushed by lua-vr
24s dualize-indexed
dualize-indexed
24s
merge upstream Run pre-commit and in-place update PR on push #70: Commit 2eca8af pushed by lua-vr
30s dualize-indexed
dualize-indexed
30s
generalize oscillation Run pre-commit and in-place update PR on push #69: Commit bd6c047 pushed by lua-vr
28s generalize-oscillation
generalize-oscillation
28s
generalize oscillation Run pre-commit and in-place update PR on push #68: Commit eb17f0e pushed by lua-vr
27s generalize-oscillation
generalize-oscillation
27s
nits Run pre-commit and in-place update PR on push #67: Commit 92535e7 pushed by lua-vr
24s maximal-ergodic-theorem
maximal-ergodic-theorem
24s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #66: Commit 7a7988f pushed by lua-vr
26s pointwise-birkhoff
pointwise-birkhoff
26s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #65: Commit 404116c pushed by lua-vr
28s pointwise-birkhoff
pointwise-birkhoff
28s
remove duplicate declaration Run pre-commit and in-place update PR on push #64: Commit 14bbb10 pushed by lua-vr
24s remove-dupl-ofReal-norm-enorm
remove-dupl-ofReal-norm-enorm
24s
remove duplicate declaration Run pre-commit and in-place update PR on push #63: Commit b516b68 pushed by lua-vr
29s remove-dupl-ofReal-norm-enorm
remove-dupl-ofReal-norm-enorm
29s