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
125 workflow runs
125 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
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #125: Commit b219b54 pushed by lua-vr
30s pointwise-birkhoff
pointwise-birkhoff
30s
use fun_prop Run pre-commit and in-place update PR on push #124: Commit 1979297 pushed by lua-vr
20s maximal-ergodic-theorem
maximal-ergodic-theorem
20s
use fun_prop Run pre-commit and in-place update PR on push #123: Commit 3f33cd2 pushed by lua-vr
29s maximal-ergodic-theorem
maximal-ergodic-theorem
29s
add docstring Run pre-commit and in-place update PR on push #122: Commit b1a4cae pushed by lua-vr
27s maximal-ergodic-theorem
maximal-ergodic-theorem
27s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #121: Commit 4dce07a pushed by lua-vr
31s pointwise-birkhoff
pointwise-birkhoff
31s
add fun_prop attr to smul Run pre-commit and in-place update PR on push #120: Commit ab3f90f pushed by lua-vr
31s fun-prop-smul
fun-prop-smul
31s
add-eq-top-iff Run pre-commit and in-place update PR on push #119: Commit e08b057 pushed by lua-vr
26s add_eq_top_iff
add_eq_top_iff
26s
add_iSup Run pre-commit and in-place update PR on push #118: Commit b38c96a pushed by lua-vr
23s ereal-add-isup-iinf
ereal-add-isup-iinf
23s
add_iSup Run pre-commit and in-place update PR on push #117: Commit 60c2a34 pushed by lua-vr
30s ereal-add-isup-iinf
ereal-add-isup-iinf
30s
mean ergodic Run pre-commit and in-place update PR on push #116: Commit d4f752e pushed by lua-vr
29s mean-ergodic
mean-ergodic
29s
pointwise ergodic theorem Run pre-commit and in-place update PR on push #115: Commit 0614159 pushed by lua-vr
26s pointwise-birkhoff
pointwise-birkhoff
26s
pointwise ergodic theorem Run pre-commit and in-place update PR on push #114: Commit 0c5cf9b pushed by lua-vr
22s pointwise-birkhoff
pointwise-birkhoff
22s
pointwise ergodic theorem Run pre-commit and in-place update PR on push #113: Commit 0c5cf9b pushed by lua-vr
36s pointwise-birkhoff-simple
pointwise-birkhoff-simple
36s
merge upstream Run pre-commit and in-place update PR on push #112: Commit 8f37fd4 pushed by lua-vr
28s maximal-ergodic-theorem
maximal-ergodic-theorem
28s
pointwise ergodic theorem Run pre-commit and in-place update PR on push #111: Commit 0f1138b pushed by lua-vr
26s pointwise-birkhoff-simple
pointwise-birkhoff-simple
26s
pointwise ergodic theorem Run pre-commit and in-place update PR on push #110: Commit 0f1138b pushed by lua-vr
25s pointwise-birkhoff
pointwise-birkhoff
25s
doc and thm Run pre-commit and in-place update PR on push #109: Commit 28aa0ed pushed by lua-vr
20s maximal-ergodic-theorem
maximal-ergodic-theorem
20s
doc and thm Run pre-commit and in-place update PR on push #108: Commit e96c4e9 pushed by lua-vr
30s maximal-ergodic-theorem
maximal-ergodic-theorem
30s
todo! Run pre-commit and in-place update PR on push #107: Commit 43a8bb6 pushed by lua-vr
22s setm
setm
22s
todo! Run pre-commit and in-place update PR on push #106: Commit fc178ab pushed by lua-vr
20s setm
setm
20s
remove partial Run pre-commit and in-place update PR on push #105: Commit a15d9ae pushed by lua-vr
26s setm
setm
26s
write docstrings Run pre-commit and in-place update PR on push #104: Commit 50fb54c pushed by lua-vr
28s setm
setm
28s
feat: add MeasureSpace instance for NNReal Run pre-commit and in-place update PR on push #103: Commit 80cf8ee pushed by lua-vr
29s volume-nnreal
volume-nnreal
29s
strenghten comap Run pre-commit and in-place update PR on push #102: Commit 8f2de67 pushed by lua-vr
32s strenghten-comap
strenghten-comap
32s
fix latex notation in Layercake.lean Run pre-commit and in-place update PR on push #101: Commit de23d11 pushed by lua-vr
26s patch-1
patch-1
26s