Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 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
feat: add MeasureSpace instance for NNReal continuous integration #103: Commit 80cf8ee pushed by lua-vr
2s volume-nnreal
volume-nnreal
2s
feat: add MeasureSpace instance for NNReal Run pre-commit and in-place update PR on push #103: Commit 80cf8ee pushed by lua-vr
29s volume-nnreal
volume-nnreal
29s
strenghten comap continuous integration #102: Commit 8f2de67 pushed by lua-vr
2s strenghten-comap
strenghten-comap
2s
strenghten comap Run pre-commit and in-place update PR on push #102: Commit 8f2de67 pushed by lua-vr
32s strenghten-comap
strenghten-comap
32s
fix latex notation in Layercake.lean continuous integration #101: Commit de23d11 pushed by lua-vr
9s patch-1
patch-1
9s
fix latex notation in Layercake.lean Run pre-commit and in-place update PR on push #101: Commit de23d11 pushed by lua-vr
26s patch-1
patch-1
26s
binder test continuous integration #100: Commit 404792b pushed by lua-vr
1s setm
setm
1s
binder test Run pre-commit and in-place update PR on push #100: Commit 404792b pushed by lua-vr
28s setm
setm
28s
pointwise birkhoff theorem Run pre-commit and in-place update PR on push #99: Commit a744f1f pushed by lua-vr
27s pointwise-birkhoff
pointwise-birkhoff
27s
pointwise birkhoff theorem continuous integration #99: Commit a744f1f pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
generalize oscillation continuous integration #98: Commit 84f139a pushed by lua-vr
11s generalize-oscillation
generalize-oscillation
11s
generalize oscillation Run pre-commit and in-place update PR on push #98: Commit 84f139a pushed by lua-vr
25s generalize-oscillation
generalize-oscillation
25s
pointwise birkhoff theorem Autolabel PRs #16: Commit a744f1f pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
fixes and more tests continuous integration #97: Commit 78a5e1a pushed by lua-vr
1s setm
setm
1s
fixes and more tests Run pre-commit and in-place update PR on push #97: Commit 78a5e1a pushed by lua-vr
21s setm
setm
21s
generalize oscillation continuous integration #96: Commit 20d7f0f pushed by lua-vr
1s generalize-oscillation
generalize-oscillation
1s
generalize oscillation Run pre-commit and in-place update PR on push #96: Commit 20d7f0f pushed by lua-vr
25s generalize-oscillation
generalize-oscillation
25s
generalize oscillation Autolabel PRs #15: Commit 20d7f0f pushed by lua-vr
1s generalize-oscillation
generalize-oscillation
1s
run mk_all continuous integration #95: Commit 394825c pushed by lua-vr
1s setm
setm
1s
run mk_all Run pre-commit and in-place update PR on push #95: Commit 394825c pushed by lua-vr
27s setm
setm
27s
golf a line continuous integration #94: Commit e1709d2 pushed by lua-vr
8s setm
setm
8s
golf a line Run pre-commit and in-place update PR on push #94: Commit e1709d2 pushed by lua-vr
28s setm
setm
28s
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