Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
275 workflow runs
275 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
Apply suggestions from code review continuous integration #128: Commit 93d411d pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
Apply suggestions from code review Run pre-commit and in-place update PR on push #128: Commit 93d411d pushed by lua-vr
23s maximal-ergodic-theorem
maximal-ergodic-theorem
23s
Apply suggestion from @lua-vr continuous integration #127: Commit 6d04671 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
Apply suggestion from @lua-vr Run pre-commit and in-place update PR on push #127: Commit 6d04671 pushed by lua-vr
24s maximal-ergodic-theorem
maximal-ergodic-theorem
24s
use fun_prop continuous integration #126: Commit 240cd66 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
use fun_prop Run pre-commit and in-place update PR on push #126: Commit 240cd66 pushed by lua-vr
25s maximal-ergodic-theorem
maximal-ergodic-theorem
25s
pointwise birkhoff theorem continuous integration #125: Commit b219b54 pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
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 continuous integration #124: Commit 1979297 pushed by lua-vr
11s maximal-ergodic-theorem
maximal-ergodic-theorem
11s
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 continuous integration #123: Commit 3f33cd2 pushed by lua-vr
10s maximal-ergodic-theorem
maximal-ergodic-theorem
10s
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 continuous integration #122: Commit b1a4cae pushed by lua-vr
9s maximal-ergodic-theorem
maximal-ergodic-theorem
9s
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 continuous integration #121: Commit 4dce07a pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
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 continuous integration #120: Commit ab3f90f pushed by lua-vr
2s fun-prop-smul
fun-prop-smul
2s
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 continuous integration #119: Commit e08b057 pushed by lua-vr
9s add_eq_top_iff
add_eq_top_iff
9s
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 continuous integration #118: Commit b38c96a pushed by lua-vr
8s ereal-add-isup-iinf
ereal-add-isup-iinf
8s
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 continuous integration #117: Commit 60c2a34 pushed by lua-vr
2s ereal-add-isup-iinf
ereal-add-isup-iinf
2s
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 continuous integration #116: Commit d4f752e pushed by lua-vr
10s mean-ergodic
mean-ergodic
10s