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