Skip to content

Actions: lua-vr/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
89 workflow runs
89 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
setm tactic continuous integration #89: Commit 2c25e35 pushed by lua-vr
1s setm
setm
1s
setm tactic continuous integration #88: Commit 01d07a9 pushed by lua-vr
9s setm
setm
9s
fix bad import continuous integration #87: Commit 193fe4e pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
feat: make topologicalClosure a ClosureOperator continuous integration #86: Commit ebf1870 pushed by lua-vr
2s top-closure-operator
top-closure-operator
2s
feat: make topologicalClosure a ClosureOperator continuous integration #85: Commit 073ff37 pushed by lua-vr
1s top-closure-operator
top-closure-operator
1s
feat: make topologicalClosure a ClosureOperator continuous integration #84: Commit a431255 pushed by lua-vr
1s top-closure-operator
top-closure-operator
1s
pointwise birkhoff theorem continuous integration #83: Commit 35e1a65 pushed by lua-vr
7s pointwise-birkhoff
pointwise-birkhoff
7s
closure: two lemmas continuous integration #82: Commit 5e83c4f pushed by lua-vr
2s closure-sup-le
closure-sup-le
2s
pointwise birkhoff theorem continuous integration #81: Commit 89f768f pushed by lua-vr
3s pointwise-birkhoff
pointwise-birkhoff
3s
pointwise birkhoff theorem continuous integration #80: Commit d67de5b pushed by lua-vr
2s pointwise-birkhoff
pointwise-birkhoff
2s
merge upstream continuous integration #79: Commit 0f3829e pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
[pre-commit.ci lite] apply automatic fixes continuous integration #78: Commit 16a306b pushed by pre-commit-ci-lite Bot
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
merge upstream continuous integration #77: Commit 9c6e722 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
add reference continuous integration #76: Commit e06600b pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
pointwise birkhoff theorem continuous integration #75: Commit de2c4a0 pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
fixes continuous integration #74: Commit e19202a pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream continuous integration #73: Commit 271a91c pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream continuous integration #72: Commit b86c675 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream continuous integration #71: Commit c23b520 pushed by lua-vr
2s dualize-indexed
dualize-indexed
2s
merge upstream continuous integration #70: Commit 2eca8af pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
generalize oscillation continuous integration #69: Commit bd6c047 pushed by lua-vr
2s generalize-oscillation
generalize-oscillation
2s
generalize oscillation continuous integration #68: Commit eb17f0e pushed by lua-vr
1s generalize-oscillation
generalize-oscillation
1s
nits continuous integration #67: Commit 92535e7 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
pointwise birkhoff theorem continuous integration #66: Commit 7a7988f pushed by lua-vr
3s pointwise-birkhoff
pointwise-birkhoff
3s
pointwise birkhoff theorem continuous integration #65: Commit 404116c pushed by lua-vr
2s pointwise-birkhoff
pointwise-birkhoff
2s