Skip to content

Actions: lua-vr/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

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