Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
192 workflow runs
192 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
setm tactic Run pre-commit and in-place update PR on push #89: Commit 2c25e35 pushed by lua-vr
31s setm
setm
31s
setm tactic continuous integration #89: Commit 2c25e35 pushed by lua-vr
1s setm
setm
1s
setm tactic continuous integration #88: Commit 01d07a9 pushed by lua-vr
9s setm
setm
9s
setm tactic Autolabel PRs #14: Commit 01d07a9 pushed by lua-vr
1s setm
setm
1s
setm tactic Run pre-commit and in-place update PR on push #88: Commit 01d07a9 pushed by lua-vr
37s setm
setm
37s
fix bad import continuous integration #87: Commit 193fe4e pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
fix bad import Run pre-commit and in-place update PR on push #87: Commit 193fe4e pushed by lua-vr
34s maximal-ergodic-theorem
maximal-ergodic-theorem
34s
feat: make topologicalClosure a ClosureOperator continuous integration #86: Commit ebf1870 pushed by lua-vr
2s top-closure-operator
top-closure-operator
2s
feat: make topologicalClosure a ClosureOperator Run pre-commit and in-place update PR on push #86: Commit ebf1870 pushed by lua-vr
26s top-closure-operator
top-closure-operator
26s
feat: make topologicalClosure a ClosureOperator continuous integration #85: Commit 073ff37 pushed by lua-vr
1s top-closure-operator
top-closure-operator
1s
feat: make topologicalClosure a ClosureOperator Run pre-commit and in-place update PR on push #85: Commit 073ff37 pushed by lua-vr
26s top-closure-operator
top-closure-operator
26s
feat: make topologicalClosure a ClosureOperator Run pre-commit and in-place update PR on push #84: Commit a431255 pushed by lua-vr
27s top-closure-operator
top-closure-operator
27s
feat: make topologicalClosure a ClosureOperator continuous integration #84: Commit a431255 pushed by lua-vr
1s top-closure-operator
top-closure-operator
1s
feat: make topologicalClosure a ClosureOperator Autolabel PRs #13: Commit a431255 pushed by lua-vr
9s top-closure-operator
top-closure-operator
9s
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