Skip to content

Actions: lua-vr/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
58 workflow runs
58 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
run mk_all continuous integration #58: Commit aaf8272 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
generalize oscillation continuous integration #57: Commit cc3e5cd pushed by lua-vr
1s generalize-oscillation
generalize-oscillation
1s
place lemmas in their respective files continuous integration #56: Commit 4c626f3 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
refactor the file continuous integration #55: Commit 601fa81 pushed by lua-vr
6s maximal-ergodic-theorem
maximal-ergodic-theorem
6s
text and fixes continuous integration #54: Commit 8eb1ca9 pushed by lua-vr
3s indexed
indexed
3s
merge upstream continuous integration #53: Commit 5518032 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
fix warnings continuous integration #52: Commit 9753f57 pushed by lua-vr
10s maximal-ergodic-theorem
maximal-ergodic-theorem
10s
style changes continuous integration #51: Commit 9d28854 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
merge master continuous integration #50: Commit 8701330 pushed by lua-vr
1s indexed
indexed
1s
merge master continuous integration #49: Commit cfd711c pushed by lua-vr
1s indexed
indexed
1s
merge master continuous integration #48: Commit e6f56e2 pushed by lua-vr
2s indexed
indexed
2s
merge master continuous integration #47: Commit 37c3f09 pushed by lua-vr
1s indexed
indexed
1s
merge master continuous integration #46: Commit 9a752ae pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge master continuous integration #45: Commit b317858 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge master continuous integration #44: Commit cfd711c pushed by lua-vr
2s indexed
indexed
2s
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #43: Commit 0aa2584 pushed by lua-vr
2s dualize-indexed
dualize-indexed
2s
fix continuous integration #42: Commit d9165c9 pushed by lua-vr
2s dualize-indexed
dualize-indexed
2s
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #41: Commit 7590793 pushed by lua-vr
2s dualize-indexed
dualize-indexed
2s
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #40: Commit 4ff10ea pushed by lua-vr
2s dualize-indexed
dualize-indexed
2s
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #39: Commit 672bcd9 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
add to_dual continuous integration #38: Commit 0d43c25 pushed by lua-vr
1s indexed
indexed
1s
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #37: Commit 7d59139 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
suggestions continuous integration #36: Commit cd0e4dd pushed by lua-vr
1s indexed
indexed
1s
suggestions continuous integration #35: Commit 4440dcf pushed by lua-vr
1s indexed
indexed
1s
feat(ConditionallyCompleteLattice): add arity-two versions of iSup le… continuous integration #34: Commit ebdea2e pushed by lua-vr
1s indexed
indexed
1s