Skip to content

Actions: mans0954/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,818 workflow runs
1,818 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. #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
Fix continuous integration #819: Commit d3ba373 pushed by mans0954
1s mans0954/bipolar-theorem
mans0954/bipolar-theorem
1s
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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #818: completed by mans0954
1s
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 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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #817: completed by mans0954
1s
1s
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 NonUnitalNonAssocSeminormedRing continuous integration #817: Commit 98973ee pushed by mans0954
1s NonUnitalNonAssocSeminormedRing
NonUnitalNonAssocSeminormedRing
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #816: completed by mans0954
1s
1s
Merge branch 'master' into absconvex-refactor continuous integration #816: Commit f0e67ae pushed by mans0954
2s absconvex-refactor
absconvex-refactor
2s
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