Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
187 workflow runs
187 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
add reference continuous integration #76: Commit e06600b pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
add reference Run pre-commit and in-place update PR on push #76: Commit e06600b pushed by lua-vr
25s maximal-ergodic-theorem
maximal-ergodic-theorem
25s
pointwise birkhoff theorem continuous integration #75: Commit de2c4a0 pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #75: Commit de2c4a0 pushed by lua-vr
28s pointwise-birkhoff
pointwise-birkhoff
28s
fixes continuous integration #74: Commit e19202a pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
fixes Run pre-commit and in-place update PR on push #74: Commit e19202a pushed by lua-vr
24s dualize-indexed
dualize-indexed
24s
merge upstream continuous integration #73: Commit 271a91c pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream Autolabel PRs #10: Commit 271a91c pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream Run pre-commit and in-place update PR on push #73: Commit 271a91c pushed by lua-vr
21s dualize-indexed
dualize-indexed
21s
merge upstream continuous integration #72: Commit b86c675 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream Autolabel PRs #9: Commit b86c675 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream Run pre-commit and in-place update PR on push #72: Commit b86c675 pushed by lua-vr
27s dualize-indexed
dualize-indexed
27s
merge upstream continuous integration #71: Commit c23b520 pushed by lua-vr
2s dualize-indexed
dualize-indexed
2s
merge upstream Run pre-commit and in-place update PR on push #71: Commit c23b520 pushed by lua-vr
24s dualize-indexed
dualize-indexed
24s
merge upstream Run pre-commit and in-place update PR on push #70: Commit 2eca8af pushed by lua-vr
30s dualize-indexed
dualize-indexed
30s
merge upstream continuous integration #70: Commit 2eca8af pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
generalize oscillation Run pre-commit and in-place update PR on push #69: Commit bd6c047 pushed by lua-vr
28s generalize-oscillation
generalize-oscillation
28s
generalize oscillation continuous integration #69: Commit bd6c047 pushed by lua-vr
2s generalize-oscillation
generalize-oscillation
2s
generalize oscillation Run pre-commit and in-place update PR on push #68: Commit eb17f0e pushed by lua-vr
27s generalize-oscillation
generalize-oscillation
27s
generalize oscillation continuous integration #68: Commit eb17f0e pushed by lua-vr
1s generalize-oscillation
generalize-oscillation
1s
nits continuous integration #67: Commit 92535e7 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
nits Run pre-commit and in-place update PR on push #67: Commit 92535e7 pushed by lua-vr
24s maximal-ergodic-theorem
maximal-ergodic-theorem
24s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #66: Commit 7a7988f pushed by lua-vr
26s pointwise-birkhoff
pointwise-birkhoff
26s
pointwise birkhoff theorem continuous integration #66: Commit 7a7988f pushed by lua-vr
3s pointwise-birkhoff
pointwise-birkhoff
3s
pointwise birkhoff theorem continuous integration #65: Commit 404116c pushed by lua-vr
2s pointwise-birkhoff
pointwise-birkhoff
2s