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
153 workflow runs
153 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
Force re-run of CI Run pre-commit and in-place update PR on push #153: Commit 27aecf1 pushed by lua-vr
30s maximal-ergodic-theorem
maximal-ergodic-theorem
30s
fixes Run pre-commit and in-place update PR on push #152: Commit 939b747 pushed by lua-vr
25s pointwise-birkhoff-simple
pointwise-birkhoff-simple
25s
fixes Run pre-commit and in-place update PR on push #151: Commit 60203e0 pushed by lua-vr
31s pointwise-birkhoff-simple
pointwise-birkhoff-simple
31s
fix naming conventions again Run pre-commit and in-place update PR on push #150: Commit 4245e98 pushed by lua-vr
25s maximal-ergodic-theorem
maximal-ergodic-theorem
25s
fixes Run pre-commit and in-place update PR on push #149: Commit aa21e3a pushed by lua-vr
25s pointwise-birkhoff-simple
pointwise-birkhoff-simple
25s
fix naming conventions again Run pre-commit and in-place update PR on push #148: Commit 1a3b0f6 pushed by lua-vr
27s maximal-ergodic-theorem
maximal-ergodic-theorem
27s
golf Run pre-commit and in-place update PR on push #147: Commit f9732ee pushed by lua-vr
39s pointwise-birkhoff-simple
pointwise-birkhoff-simple
39s
fix naming conventions Run pre-commit and in-place update PR on push #146: Commit acf77c4 pushed by lua-vr
39s maximal-ergodic-theorem
maximal-ergodic-theorem
39s
withAssignableSyntheticOpaque Run pre-commit and in-place update PR on push #145: Commit 7a3f022 pushed by lua-vr
25s setm
setm
25s
more test Run pre-commit and in-place update PR on push #144: Commit c5e70d5 pushed by lua-vr
22s setm
setm
22s
more tests by Snir Broshi Run pre-commit and in-place update PR on push #143: Commit 4653261 pushed by lua-vr
26s setm
setm
26s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #142: by lua-vr
25s setm
setm
25s
fix snir example Run pre-commit and in-place update PR on push #141: Commit b59c482 pushed by lua-vr
29s setm
setm
29s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #140: Commit 6bf920f pushed by pre-commit-ci-lite Bot
29s setm
setm
29s
Apply suggestions from code review Run pre-commit and in-place update PR on push #139: Commit f95e130 pushed by lua-vr
33s setm
setm
33s
review: some changes from Meta Café review! Run pre-commit and in-place update PR on push #138: Commit aebad47 pushed by thorimur
29s setm
setm
29s
rebase onto jovan Run pre-commit and in-place update PR on push #137: Commit 38c8131 pushed by lua-vr
22s dualize-indexed
dualize-indexed
22s
rebase onto jovan Run pre-commit and in-place update PR on push #136: Commit 6a6f3a8 pushed by lua-vr
32s dualize-indexed
dualize-indexed
32s
merge upstream Run pre-commit and in-place update PR on push #135: Commit 4459ee9 pushed by lua-vr
26s setm
setm
26s
typo Run pre-commit and in-place update PR on push #134: Commit af3a8af pushed by lua-vr
25s setm
setm
25s
typo Run pre-commit and in-place update PR on push #133: Commit 4644f0e pushed by lua-vr
30s setm
setm
30s
simplification experiment Run pre-commit and in-place update PR on push #132: Commit a2db91d pushed by lua-vr
26s setm
setm
26s
simplification experiment Run pre-commit and in-place update PR on push #131: Commit fe1acac pushed by lua-vr
24s setm
setm
24s
failed ci? Run pre-commit and in-place update PR on push #130: Commit 08c7281 pushed by lua-vr
20s setm
setm
20s
add guard_target in the tests Run pre-commit and in-place update PR on push #129: Commit 7b8ad20 pushed by lua-vr
29s setm
setm
29s