Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
275 workflow runs
275 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
min imports Run pre-commit and in-place update PR on push #93: Commit 4a7afe6 pushed by lua-vr
27s setm
setm
27s
min imports continuous integration #93: Commit 4a7afe6 pushed by lua-vr
9s setm
setm
9s
fix continuous integration #92: Commit 7db6491 pushed by lua-vr
1s setm
setm
1s
fix Run pre-commit and in-place update PR on push #92: Commit 7db6491 pushed by lua-vr
53s setm
setm
53s
new version based on Kyle's continuous integration #91: Commit c890823 pushed by lua-vr
1s setm
setm
1s
new version based on Kyle's Run pre-commit and in-place update PR on push #91: Commit c890823 pushed by lua-vr
36s setm
setm
36s
kyle tips continuous integration #90: Commit f935700 pushed by lua-vr
2s setm
setm
2s
kyle tips Run pre-commit and in-place update PR on push #90: Commit f935700 pushed by lua-vr
23s setm
setm
23s
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