Skip to content

Actions: mans0954/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
831 workflow runs
831 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 continuous integration #831: Commit 93f5787 pushed by j-loreaux
7s mans0954/bipolar-theorem
mans0954/bipolar-theorem
7s
move and clean up continuous integration #830: Commit 4aad30d pushed by j-loreaux
5s mans0954/bipolar-theorem
mans0954/bipolar-theorem
5s
remove the defeq abuse! continuous integration #829: Commit 7899872 pushed by j-loreaux
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
try to simplify down to only new material. Don't move existing material. continuous integration #828: Commit d939239 pushed by j-loreaux
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
some minor fixes continuous integration #827: Commit 6f5ecb6 pushed by j-loreaux
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
Merge branch 'master' into mans0954/bipolar-theorem continuous integration #826: Commit c94a48d pushed by j-loreaux
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
continuous integration continuous integration #825: by j-loreaux
2s mans0954/bipolar-theorem
mans0954/bipolar-theorem
2s
Merge remote-tracking branch 'origin/master' into LatticeHom-TODO continuous integration #824: Commit c45f7e7 pushed by fpvandoorn
1s LatticeHom-TODO
LatticeHom-TODO
1s
Update Mathlib/Analysis/LocallyConvex/Bipolar.lean continuous integration #823: Commit e27bf62 pushed by faenuccio
2s mans0954/bipolar-theorem
mans0954/bipolar-theorem
2s
Merge branch 'master' into mans0954/bipolar-theorem continuous integration #822: Commit 23ed474 pushed by faenuccio
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
LinearMap.polar_absConvex continuous integration #821: Commit bdead2d pushed by mans0954
1s bipolar-theorem-absconvex-refactor
bipolar-theorem-absconvex-refactor
1s
Merge branch 'absconvex-refactor' into bipolar-theorem-absconvex-refa… continuous integration #820: Commit 0a636a2 pushed by mans0954
1s bipolar-theorem-absconvex-refactor
bipolar-theorem-absconvex-refactor
1s
Fix continuous integration #819: Commit d3ba373 pushed by mans0954
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
Merge branch 'master' into mans0954/bipolar-theorem continuous integration #818: Commit 5dd3fb8 pushed by mans0954
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
Merge branch 'master' into NonUnitalNonAssocSeminormedRing continuous integration #817: Commit 98973ee pushed by mans0954
1s NonUnitalNonAssocSeminormedRing
NonUnitalNonAssocSeminormedRing
1s
Merge branch 'master' into absconvex-refactor continuous integration #816: Commit f0e67ae pushed by mans0954
2s absconvex-refactor
absconvex-refactor
2s
LatticeHom TODO continuous integration #815: Commit 22810cc pushed by mans0954
2s LatticeHom-TODO
LatticeHom-TODO
2s
Merge branch 'master' into mans0954/scott-products continuous integration #814: Commit ca5ab93 pushed by mans0954
1m 13s mans0954/scott-products
mans0954/scott-products
1m 13s
Golf continuous integration #813: Commit 454a610 pushed by mans0954
1s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
1s
State it differently continuous integration #812: Commit d5fea7e pushed by mans0954
1s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
1s
Try it another way continuous integration #811: Commit eb207e9 pushed by mans0954
2s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
2s
sup_injective continuous integration #810: Commit c06a46a pushed by mans0954
2s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
2s
Merge branch 'master' into mans0954/distrib-standard-neutral continuous integration #809: Commit 4023bee pushed by mans0954
1s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
1s
Docstring continuous integration #808: Commit 6ab832b pushed by mans0954
2s mans0954/distrib-standard-neutral
mans0954/distrib-standard-neutral
2s
Fix continuous integration #807: Commit e9001fc pushed by mans0954
3s disc-quadratic
disc-quadratic
3s