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

Actions

All workflows
Workflows
- Autolabel PRs Autolabel PRs
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
- Post PR summary comment Post PR summary comment
- Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing.
- Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push
Management
- Caches

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

Actions

Loading...
Loading

164 workflow runs

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

Fix Run pre-commit and in-place update PR on push #144: Commit e020308 pushed by mans0954

25s vieta1

vieta1

25s

Merge branch 'master' into vieta1 Run pre-commit and in-place update PR on push #143: Commit 2d032c7 pushed by mans0954

32s vieta1

vieta1

32s

Merge branch 'master' into disc-quadratic Run pre-commit and in-place update PR on push #142: Commit 9eee5bc pushed by mans0954

26s disc-quadratic

disc-quadratic

26s

inf and sup Run pre-commit and in-place update PR on push #141: Commit 2447c0f pushed by mans0954

22s mans0954/distrib-standard-neutral

mans0954/distrib-standard-neutral

22s

Note Run pre-commit and in-place update PR on push #140: Commit a36b668 pushed by mans0954

23s mans0954/distrib-standard-neutral

mans0954/distrib-standard-neutral

23s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management