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
232 workflow runs
232 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
golf coe_biInf Run pre-commit and in-place update PR on push #232: Commit 1c9bf54 pushed by lua-vr
38s dualize-indexed
dualize-indexed
38s
Apply batched suggestions from code review Run pre-commit and in-place update PR on push #231: Commit 81a0d8d pushed by lua-vr
38s dualize-indexed
dualize-indexed
38s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #230: Commit cb22160 pushed by pre-commit-ci-lite Bot
37s aemeasurable-quasipreserving
aemeasurable-quasipreserving
37s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #229: Commit 3ff4283 pushed by pre-commit-ci-lite Bot
34s import-cycle-quasipres-restrict
import-cycle-quasipres-restrict
34s
ergodic Run pre-commit and in-place update PR on push #228: Commit d36f0c9 pushed by lua-vr
35s aemeasurable-quasipreserving
aemeasurable-quasipreserving
35s
map_of_aemeasurable Run pre-commit and in-place update PR on push #227: Commit b4187d5 pushed by lua-vr
27s map-of-aemeasurable
map-of-aemeasurable
27s
break import cycle between QuasiMeasurePreserving and AEMeasurable Run pre-commit and in-place update PR on push #226: Commit 30f4793 pushed by lua-vr
34s import-cycle-quasipres-restrict
import-cycle-quasipres-restrict
34s
re-run ci Run pre-commit and in-place update PR on push #225: Commit ebc0f70 pushed by lua-vr
29s pointwise-birkhoff-simple
pointwise-birkhoff-simple
29s
merge upstream Run pre-commit and in-place update PR on push #224: Commit 26c1427 pushed by lua-vr
32s maximal-ergodic-theorem
maximal-ergodic-theorem
32s
two simp lemmas Run pre-commit and in-place update PR on push #223: Commit 791d422 pushed by lua-vr
36s add_eq_top_iff
add_eq_top_iff
36s
use logUnassignedAndAbort Run pre-commit and in-place update PR on push #222: Commit d48ae37 pushed by lua-vr
31s setm
setm
31s
merge upstream Run pre-commit and in-place update PR on push #221: Commit 13887b5 pushed by lua-vr
21s dualize-indexed
dualize-indexed
21s
to_dual, not existing Run pre-commit and in-place update PR on push #220: Commit 489740d pushed by lua-vr
26s dualize-indexed
dualize-indexed
26s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #219: Commit 1027130 pushed by pre-commit-ci-lite Bot
26s dualize-indexed
dualize-indexed
26s
merge upstream Run pre-commit and in-place update PR on push #218: Commit 85f7543 pushed by lua-vr
26s dualize-indexed
dualize-indexed
26s
to_dual, not existing Run pre-commit and in-place update PR on push #217: Commit 489740d pushed by lua-vr
28s dualize-indexed
dualize-indexed
28s
chore(WeakDual): remove outdated todos Run pre-commit and in-place update PR on push #216: Commit 86284be pushed by lua-vr
24s weakdual-todos
weakdual-todos
24s
chore(WeakDual): remove outdated todos Run pre-commit and in-place update PR on push #215: Commit 03b6d39 pushed by lua-vr
46s weakdual-todos
weakdual-todos
46s
Tweak deprecations Run pre-commit and in-place update PR on push #214: Commit f9bd4dd pushed by ocfnash
28s rename-birkhoff-apply
rename-birkhoff-apply
28s
Re-trigger ci Run pre-commit and in-place update PR on push #213: Commit b5b3f63 pushed by lua-vr
25s dualize-indexed
dualize-indexed
25s
merge upstream Run pre-commit and in-place update PR on push #212: Commit efd15b7 pushed by lua-vr
22s dualize-indexed
dualize-indexed
22s
merge upstream Run pre-commit and in-place update PR on push #211: Commit 5c83be0 pushed by lua-vr
30s dualize-indexed
dualize-indexed
30s
add' → add_right, succ'_apply → succ_apply' Run pre-commit and in-place update PR on push #210: Commit 93b098a pushed by lua-vr
23s rename-birkhoff-apply
rename-birkhoff-apply
23s
add_apply Run pre-commit and in-place update PR on push #209: Commit f05e5d1 pushed by lua-vr
30s rename-birkhoff-apply
rename-birkhoff-apply
30s
merge upstream Run pre-commit and in-place update PR on push #208: Commit fb25560 pushed by lua-vr
35s dualize-indexed
dualize-indexed
35s