Skip to content

Actions: lua-vr/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
138 workflow runs
138 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
review: some changes from Meta Café review! continuous integration #138: Commit aebad47 pushed by thorimur
1s setm
setm
1s
rebase onto jovan continuous integration #137: Commit 38c8131 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
rebase onto jovan continuous integration #136: Commit 6a6f3a8 pushed by lua-vr
Skipped dualize-indexed
dualize-indexed
Skipped
merge upstream continuous integration #135: Commit 4459ee9 pushed by lua-vr
1s setm
setm
1s
typo continuous integration #134: Commit af3a8af pushed by lua-vr
1s setm
setm
1s
typo continuous integration #133: Commit 4644f0e pushed by lua-vr
1s setm
setm
1s
simplification experiment continuous integration #132: Commit a2db91d pushed by lua-vr
11s setm
setm
11s
simplification experiment continuous integration #131: Commit fe1acac pushed by lua-vr
1s setm
setm
1s
failed ci? continuous integration #130: Commit 08c7281 pushed by lua-vr
9s setm
setm
9s
add guard_target in the tests continuous integration #129: Commit 7b8ad20 pushed by lua-vr
1s setm
setm
1s
Apply suggestions from code review continuous integration #128: Commit 93d411d pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
Apply suggestion from @lua-vr continuous integration #127: Commit 6d04671 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
use fun_prop continuous integration #126: Commit 240cd66 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
pointwise birkhoff theorem continuous integration #125: Commit b219b54 pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
use fun_prop continuous integration #124: Commit 1979297 pushed by lua-vr
11s maximal-ergodic-theorem
maximal-ergodic-theorem
11s
use fun_prop continuous integration #123: Commit 3f33cd2 pushed by lua-vr
10s maximal-ergodic-theorem
maximal-ergodic-theorem
10s
add docstring continuous integration #122: Commit b1a4cae pushed by lua-vr
9s maximal-ergodic-theorem
maximal-ergodic-theorem
9s
pointwise birkhoff theorem continuous integration #121: Commit 4dce07a pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
add fun_prop attr to smul continuous integration #120: Commit ab3f90f pushed by lua-vr
2s fun-prop-smul
fun-prop-smul
2s
add-eq-top-iff continuous integration #119: Commit e08b057 pushed by lua-vr
9s add_eq_top_iff
add_eq_top_iff
9s
add_iSup continuous integration #118: Commit b38c96a pushed by lua-vr
8s ereal-add-isup-iinf
ereal-add-isup-iinf
8s
add_iSup continuous integration #117: Commit 60c2a34 pushed by lua-vr
2s ereal-add-isup-iinf
ereal-add-isup-iinf
2s
mean ergodic continuous integration #116: Commit d4f752e pushed by lua-vr
10s mean-ergodic
mean-ergodic
10s
pointwise ergodic theorem continuous integration #115: Commit 0614159 pushed by lua-vr
10s pointwise-birkhoff
pointwise-birkhoff
10s
pointwise ergodic theorem continuous integration #114: Commit 0c5cf9b pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s