Skip to content

Actions: lua-vr/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
21 workflow runs
21 workflow runs

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
rebase onto jovan Autolabel PRs #21: Commit 6a6f3a8 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream Autolabel PRs #20: Commit 4459ee9 pushed by lua-vr
Skipped setm
setm
Skipped
pointwise ergodic theorem Autolabel PRs #19: Commit 0c5cf9b pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
pointwise ergodic theorem Autolabel PRs #18: Commit 0c5cf9b pushed by lua-vr
2s pointwise-birkhoff-simple
pointwise-birkhoff-simple
2s
merge upstream Autolabel PRs #17: Commit 8f37fd4 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
pointwise birkhoff theorem Autolabel PRs #16: Commit a744f1f pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s
generalize oscillation Autolabel PRs #15: Commit 20d7f0f pushed by lua-vr
1s generalize-oscillation
generalize-oscillation
1s
setm tactic Autolabel PRs #14: Commit 01d07a9 pushed by lua-vr
1s setm
setm
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 Autolabel PRs #12: Commit d67de5b pushed by lua-vr
2s pointwise-birkhoff
pointwise-birkhoff
2s
merge upstream Autolabel PRs #11: Commit 9c6e722 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
merge upstream Autolabel PRs #10: Commit 271a91c 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
style changes Autolabel PRs #8: Commit 9d28854 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
merge master Autolabel PRs #7: Commit b317858 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge master Autolabel PRs #6: Commit cfd711c pushed by lua-vr
2s indexed
indexed
2s
add missing docstring Autolabel PRs #5: Commit 0215e41 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
Anne's suggestions Autolabel PRs #4: Commit 4b3bb70 pushed by lua-vr
2s exists_partialSups_eq
exists_partialSups_eq
2s
feat(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀ Autolabel PRs #3: Commit a3db36c pushed by lua-vr
1s tendsto_monotone_ae
tendsto_monotone_ae
1s
feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542) Autolabel PRs #2: Commit 9196e9f pushed by lua-vr
1s ergodic-decomposition
ergodic-decomposition
1s
temp Autolabel PRs #1: Commit e3ae3d3 pushed by lua-vr
2s pointwise-ergodic-thm
pointwise-ergodic-thm
2s