Skip to content

Actions: jsm28/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
983 workflow runs
983 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use new tangent lemma variant continuous integration #17: Commit 23fb2ac pushed by jsm28
2s touchpoint_sign
touchpoint_sign
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16: completed by jsm28
1s
1s
Additional lemma from review continuous integration #16: Commit ce5f5dd pushed by jsm28
1s tangent_mem_and_mem_iff_eq
tangent_mem_and_mem_iff_eq
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #15: completed by jsm28
Skipped
Skipped
feat(Geometry/Euclidean/Incenter): signs of barycentric coordinates o… continuous integration #15: Commit c7fb3e1 pushed by jsm28
1s touchpoint_sign
touchpoint_sign
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #14: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Projection): projection onto a 0-simplex continuous integration #14: Commit 8872cad pushed by jsm28
1s orthogonalProjectionSpan_eq_point
orthogonalProjectionSpan_eq_point
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #13: completed by jsm28
1s
1s
Remove trailing whitespace continuous integration #13: Commit a790113 pushed by jsm28
1s tangent_mem_and_mem_iff_eq
tangent_mem_and_mem_iff_eq
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #12: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Sphere/Tangent): lemmas about points in subspace continuous integration #12: Commit 5bcc730 pushed by jsm28
2s tangent_mem_and_mem_iff_eq
tangent_mem_and_mem_iff_eq
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #11: completed by jsm28
1s
1s
feat(LinearAlgebra/AffineSpace/Independent): faceOpposite point in … continuous integration #11: Commit b715953 pushed by jsm28
1s faceOpposite_point_eq_point
faceOpposite_point_eq_point
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by jsm28
1s
1s
Update Mathlib/Geometry/Euclidean/Incenter.lean continuous integration #10: Commit e234c9d pushed by jsm28
1s touchpoint
touchpoint
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by jsm28
1s
1s
Merge branch 'master' into touchpoint continuous integration #9: Commit ebad8b3 pushed by jsm28
2s touchpoint
touchpoint
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by jsm28
1s
1s
Merge branch 'master' into touchpoint continuous integration #8: Commit f66be13 pushed by jsm28
1s touchpoint
touchpoint
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by jsm28
1s
1s
Merge branch 'master' into touchpoint continuous integration #7: Commit 35ebd63 pushed by jsm28
1s touchpoint
touchpoint
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by jsm28
1s
1s
Update Mathlib/Geometry/Euclidean/Incenter.lean continuous integration #6: Commit 4a32d18 pushed by jsm28
1s touchpoint
touchpoint
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by jsm28
1s
1s
Merge branch 'master' into touchpoint continuous integration #5: Commit c0ee862 pushed by jsm28
2s touchpoint
touchpoint
2s
ProTip! You can narrow down the results and go further in time using created:<2025-06-26 or the other filters available.