Skip to content

Actions: jsm28/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
948 workflow runs
948 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Geometry/Euclidean/Incenter): cases for excenters of triangles continuous integration #180: Commit 3b19703 pushed by jsm28
1s excenter_triangle
excenter_triangle
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #179: completed by jsm28
Skipped
Skipped
feat(Geometry/Euclidean/Incenter): excenters are not vertices Run pre-commit and in-place update PR on push #64: Commit 34f5939 pushed by jsm28
40s excenter_ne_point
excenter_ne_point
40s
feat(Geometry/Euclidean/Incenter): excenters are not vertices continuous integration #179: Commit 34f5939 pushed by jsm28
5s excenter_ne_point
excenter_ne_point
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #178: completed by jsm28
Skipped
Skipped
Merge branch 'master' into bisector_dist_oangle Run pre-commit and in-place update PR on push #63: Commit 33cda7f pushed by jsm28
35s bisector_dist_oangle
bisector_dist_oangle
35s
Merge branch 'master' into bisector_dist_oangle continuous integration #178: Commit 33cda7f pushed by jsm28
2s bisector_dist_oangle
bisector_dist_oangle
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #177: completed by jsm28
1s
1s
Merge branch 'master' into bisector_dist_oangle Run pre-commit and in-place update PR on push #62: Commit b2c92ce pushed by jsm28
37s bisector_dist_oangle
bisector_dist_oangle
37s
Merge branch 'master' into bisector_dist_oangle continuous integration #177: Commit b2c92ce pushed by jsm28
12s bisector_dist_oangle
bisector_dist_oangle
12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #176: completed by jsm28
1s
1s
Merge branch 'master' into orthogonalProjection_sup_of_orthogonalProj… continuous integration #176: Commit 01e9a53 pushed by jsm28
1s orthogonalProjection_sup_of_orthogonalProjection_eq
orthogonalProjection_sup_of_orthogonalProjection_eq
1s
Merge branch 'master' into orthogonalProjection_sup_of_orthogonalProj… Run pre-commit and in-place update PR on push #61: Commit 01e9a53 pushed by jsm28
34s orthogonalProjection_sup_of_orthogonalProjection_eq
orthogonalProjection_sup_of_orthogonalProjection_eq
34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #175: completed by jsm28
1s
1s
Merge branch 'AffineSubspace_nonempty_sup' into orthogonalProjection_… Run pre-commit and in-place update PR on push #60: Commit c6357ff pushed by jsm28
28s orthogonalProjection_sup_of_orthogonalProjection_eq
orthogonalProjection_sup_of_orthogonalProjection_eq
28s
Merge branch 'AffineSubspace_nonempty_sup' into orthogonalProjection_… continuous integration #175: Commit c6357ff pushed by jsm28
Skipped orthogonalProjection_sup_of_orthogonalProjection_eq
orthogonalProjection_sup_of_orthogonalProjection_eq
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #174: completed by jsm28
1s
1s
Merge branch 'master' into AffineSubspace_nonempty_sup Run pre-commit and in-place update PR on push #59: Commit 365b6a2 pushed by jsm28
32s AffineSubspace_nonempty_sup
AffineSubspace_nonempty_sup
32s
Merge branch 'master' into AffineSubspace_nonempty_sup continuous integration #174: Commit 365b6a2 pushed by jsm28
1s AffineSubspace_nonempty_sup
AffineSubspace_nonempty_sup
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #173: completed by jsm28
Skipped
Skipped
Merge branch 'angle_eq_iff_oangle_eq_or_wbtw' into bisector_dist_oangle continuous integration #173: Commit 179b3dd pushed by jsm28
2s bisector_dist_oangle
bisector_dist_oangle
2s
Merge branch 'angle_eq_iff_oangle_eq_or_wbtw' into bisector_dist_oangle Run pre-commit and in-place update PR on push #58: Commit 179b3dd pushed by jsm28
25s bisector_dist_oangle
bisector_dist_oangle
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #172: completed by jsm28
1s
1s
Move lemmas up per review Run pre-commit and in-place update PR on push #57: Commit 2f73b91 pushed by jsm28
20s angle_eq_iff_oangle_eq_or_wbtw
angle_eq_iff_oangle_eq_or_wbtw
20s
Move lemmas up per review continuous integration #172: Commit 2f73b91 pushed by jsm28
1s angle_eq_iff_oangle_eq_or_wbtw
angle_eq_iff_oangle_eq_or_wbtw
1s
ProTip! You can narrow down the results and go further in time using created:<2025-10-20 or the other filters available.