Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
178 workflow runs
178 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
pointwise birkhoff theorem continuous integration #83: Commit 35e1a65 pushed by lua-vr
7s pointwise-birkhoff
pointwise-birkhoff
7s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #83: Commit 35e1a65 pushed by lua-vr
27s pointwise-birkhoff
pointwise-birkhoff
27s
closure: two lemmas continuous integration #82: Commit 5e83c4f pushed by lua-vr
2s closure-sup-le
closure-sup-le
2s
closure: two lemmas Run pre-commit and in-place update PR on push #82: Commit 5e83c4f pushed by lua-vr
36s closure-sup-le
closure-sup-le
36s
pointwise birkhoff theorem continuous integration #81: Commit 89f768f pushed by lua-vr
3s pointwise-birkhoff
pointwise-birkhoff
3s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #81: Commit 89f768f pushed by lua-vr
27s pointwise-birkhoff
pointwise-birkhoff
27s
pointwise birkhoff theorem continuous integration #80: Commit d67de5b pushed by lua-vr
2s pointwise-birkhoff
pointwise-birkhoff
2s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #80: Commit d67de5b pushed by lua-vr
29s pointwise-birkhoff
pointwise-birkhoff
29s
pointwise birkhoff theorem Autolabel PRs #12: Commit d67de5b pushed by lua-vr
2s pointwise-birkhoff
pointwise-birkhoff
2s
merge upstream continuous integration #79: Commit 0f3829e pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
merge upstream Run pre-commit and in-place update PR on push #79: Commit 0f3829e pushed by lua-vr
26s maximal-ergodic-theorem
maximal-ergodic-theorem
26s
[pre-commit.ci lite] apply automatic fixes continuous integration #78: Commit 16a306b pushed by pre-commit-ci-lite Bot
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #78: Commit 16a306b pushed by pre-commit-ci-lite Bot
31s maximal-ergodic-theorem
maximal-ergodic-theorem
31s
merge upstream continuous integration #77: Commit 9c6e722 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
merge upstream Run pre-commit and in-place update PR on push #77: Commit 9c6e722 pushed by lua-vr
28s maximal-ergodic-theorem
maximal-ergodic-theorem
28s
merge upstream Autolabel PRs #11: Commit 9c6e722 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
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