Skip to content

Actions: mans0954/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,829 workflow runs
1,829 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #826: completed by j-loreaux
2s
2s
Merge branch 'master' into mans0954/bipolar-theorem continuous integration #826: Commit c94a48d pushed by j-loreaux
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
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
Merge branch 'master' into mans0954/bipolar-theorem Autolabel PRs #13: Commit c94a48d pushed by j-loreaux
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #825: completed by j-loreaux
1s
1s
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
continuous integration continuous integration #825: by j-loreaux
2s mans0954/bipolar-theorem
mans0954/bipolar-theorem
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #824: completed by fpvandoorn
1s
1s
Merge remote-tracking branch 'origin/master' into LatticeHom-TODO Autolabel PRs #12: Commit c45f7e7 pushed by fpvandoorn
1s LatticeHom-TODO
LatticeHom-TODO
1s
Merge remote-tracking branch 'origin/master' into LatticeHom-TODO continuous integration #824: Commit c45f7e7 pushed by fpvandoorn
1s LatticeHom-TODO
LatticeHom-TODO
1s
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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #823: completed by faenuccio
1s
1s
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
Update Mathlib/Analysis/LocallyConvex/Bipolar.lean continuous integration #823: Commit e27bf62 pushed by faenuccio
2s mans0954/bipolar-theorem
mans0954/bipolar-theorem
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #822: completed by faenuccio
1s
1s
Merge branch 'master' into mans0954/bipolar-theorem Autolabel PRs #11: Commit 23ed474 pushed by faenuccio
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
Merge branch 'master' into mans0954/bipolar-theorem continuous integration #822: Commit 23ed474 pushed by faenuccio
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #821: completed by mans0954
1s
1s
LinearMap.polar_absConvex continuous integration #821: Commit bdead2d pushed by mans0954
1s bipolar-theorem-absconvex-refactor
bipolar-theorem-absconvex-refactor
1s
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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #820: completed by mans0954
1s
1s
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
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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #819: completed by mans0954
1s
1s