Skip to content

Actions: mans0954/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
169 workflow runs
169 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
more clean-up Run pre-commit and in-place update PR on push #169: Commit 93f5787 pushed by j-loreaux
31s mans0954/bipolar-theorem
mans0954/bipolar-theorem
31s
move and clean up Run pre-commit and in-place update PR on push #168: Commit 4aad30d pushed by j-loreaux
29s mans0954/bipolar-theorem
mans0954/bipolar-theorem
29s
remove the defeq abuse! Run pre-commit and in-place update PR on push #167: Commit 7899872 pushed by j-loreaux
26s mans0954/bipolar-theorem
mans0954/bipolar-theorem
26s
try to simplify down to only new material. Don't move existing material. Run pre-commit and in-place update PR on push #166: Commit d939239 pushed by j-loreaux
32s mans0954/bipolar-theorem
mans0954/bipolar-theorem
32s
some minor fixes Run pre-commit and in-place update PR on push #165: Commit 6f5ecb6 pushed by j-loreaux
32s mans0954/bipolar-theorem
mans0954/bipolar-theorem
32s
Merge branch 'master' into mans0954/bipolar-theorem Run pre-commit and in-place update PR on push #164: Commit c94a48d pushed by j-loreaux
21s mans0954/bipolar-theorem
mans0954/bipolar-theorem
21s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #163: by j-loreaux
26s mans0954/bipolar-theorem
mans0954/bipolar-theorem
26s
Merge remote-tracking branch 'origin/master' into LatticeHom-TODO Run pre-commit and in-place update PR on push #162: Commit c45f7e7 pushed by fpvandoorn
28s LatticeHom-TODO
LatticeHom-TODO
28s
Update Mathlib/Analysis/LocallyConvex/Bipolar.lean Run pre-commit and in-place update PR on push #161: Commit e27bf62 pushed by faenuccio
21s mans0954/bipolar-theorem
mans0954/bipolar-theorem
21s
Merge branch 'master' into mans0954/bipolar-theorem Run pre-commit and in-place update PR on push #160: Commit 23ed474 pushed by faenuccio
26s mans0954/bipolar-theorem
mans0954/bipolar-theorem
26s
LinearMap.polar_absConvex Run pre-commit and in-place update PR on push #159: Commit bdead2d pushed by mans0954
23s bipolar-theorem-absconvex-refactor
bipolar-theorem-absconvex-refactor
23s
Merge branch 'absconvex-refactor' into bipolar-theorem-absconvex-refa… Run pre-commit and in-place update PR on push #158: Commit 0a636a2 pushed by mans0954
33s bipolar-theorem-absconvex-refactor
bipolar-theorem-absconvex-refactor
33s
Fix Run pre-commit and in-place update PR on push #157: Commit d3ba373 pushed by mans0954
22s mans0954/bipolar-theorem
mans0954/bipolar-theorem
22s
Merge branch 'master' into mans0954/bipolar-theorem Run pre-commit and in-place update PR on push #156: Commit 5dd3fb8 pushed by mans0954
27s mans0954/bipolar-theorem
mans0954/bipolar-theorem
27s
Merge branch 'master' into NonUnitalNonAssocSeminormedRing Run pre-commit and in-place update PR on push #155: Commit 98973ee pushed by mans0954
28s NonUnitalNonAssocSeminormedRing
NonUnitalNonAssocSeminormedRing
28s
Merge branch 'master' into absconvex-refactor Run pre-commit and in-place update PR on push #154: Commit f0e67ae pushed by mans0954
24s absconvex-refactor
absconvex-refactor
24s
LatticeHom TODO Run pre-commit and in-place update PR on push #153: Commit 22810cc pushed by mans0954
34s LatticeHom-TODO
LatticeHom-TODO
34s
Merge branch 'master' into mans0954/scott-products Run pre-commit and in-place update PR on push #152: Commit ca5ab93 pushed by mans0954
3m 3s mans0954/scott-products
mans0954/scott-products
3m 3s
Golf Run pre-commit and in-place update PR on push #151: Commit 454a610 pushed by mans0954
22s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
22s
State it differently Run pre-commit and in-place update PR on push #150: Commit d5fea7e pushed by mans0954
22s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
22s
Try it another way Run pre-commit and in-place update PR on push #149: Commit eb207e9 pushed by mans0954
25s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
25s
sup_injective Run pre-commit and in-place update PR on push #148: Commit c06a46a pushed by mans0954
24s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
24s
Merge branch 'master' into mans0954/distrib-standard-neutral Run pre-commit and in-place update PR on push #147: Commit 4023bee pushed by mans0954
26s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
26s
Docstring Run pre-commit and in-place update PR on push #146: Commit 6ab832b pushed by mans0954
28s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
28s
Fix Run pre-commit and in-place update PR on push #145: Commit e9001fc pushed by mans0954
26s disc-quadratic
disc-quadratic
26s