Skip to content

Actions: jsm28/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
558 workflow runs
558 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(LinearAlgebra/AffineSpace/Simplex/Basic): range_mkOfPoint_points Run pre-commit and in-place update PR on push #92: Commit ab687c0 pushed by jsm28
26s range_mkOfPoint_points
range_mkOfPoint_points
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #205: completed by jsm28
Skipped
Skipped
feat(LinearAlgebra/AffineSpace/AffineSubspace/Basic); conditions for … Autolabel PRs #2: Commit 2add499 pushed by jsm28
1s affineSpan_pair_eq_of_mem
affineSpan_pair_eq_of_mem
1s
feat(LinearAlgebra/AffineSpace/AffineSubspace/Basic); conditions for … continuous integration #205: Commit 2add499 pushed by jsm28
1s affineSpan_pair_eq_of_mem
affineSpan_pair_eq_of_mem
1s
feat(LinearAlgebra/AffineSpace/AffineSubspace/Basic); conditions for … Run pre-commit and in-place update PR on push #91: Commit 2add499 pushed by jsm28
38s affineSpan_pair_eq_of_mem
affineSpan_pair_eq_of_mem
38s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #204: completed by jsm28
Skipped
Skipped
feat(Geometry/Euclidean/Angle): homotheties preserve angles continuous integration #204: Commit 19eb2f4 pushed by jsm28
2s angle_homothety
angle_homothety
2s
feat(Geometry/Euclidean/Angle): homotheties preserve angles Run pre-commit and in-place update PR on push #90: Commit 19eb2f4 pushed by jsm28
29s angle_homothety
angle_homothety
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #203: completed by jsm28
1s
1s
Merge branch 'reindex_altitude' into reindex_incenter continuous integration #203: Commit 421bf94 pushed by jsm28
1s reindex_incenter
reindex_incenter
1s
Merge branch 'reindex_altitude' into reindex_incenter Run pre-commit and in-place update PR on push #89: Commit 421bf94 pushed by jsm28
22s reindex_incenter
reindex_incenter
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #202: completed by jsm28
2s
2s
Remove unnecessary instance arguments continuous integration #202: Commit 72b31ca pushed by jsm28
1s reindex_altitude
reindex_altitude
1s
Remove unnecessary instance arguments Run pre-commit and in-place update PR on push #88: Commit 72b31ca pushed by jsm28
25s reindex_altitude
reindex_altitude
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #201: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Incenter): reindex lemmas continuous integration #201: Commit a14a65b pushed by jsm28
1s reindex_incenter
reindex_incenter
1s
feat(Geometry/Euclidean/Incenter): reindex lemmas Run pre-commit and in-place update PR on push #87: Commit a14a65b pushed by jsm28
30s reindex_incenter
reindex_incenter
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #200: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Altitude): reindex lemmas Run pre-commit and in-place update PR on push #86: Commit 0ba1081 pushed by jsm28
27s reindex_altitude
reindex_altitude
27s
feat(Geometry/Euclidean/Altitude): reindex lemmas continuous integration #200: Commit 0ba1081 pushed by jsm28
3s reindex_altitude
reindex_altitude
3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #199: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Projection): orthogonalProjectionSpan_congr continuous integration #199: Commit 52dcafd pushed by jsm28
2s orthogonalProjectionSpan_congr
orthogonalProjectionSpan_congr
2s
feat(Geometry/Euclidean/Projection): orthogonalProjectionSpan_congr Run pre-commit and in-place update PR on push #85: Commit 52dcafd pushed by jsm28
30s orthogonalProjectionSpan_congr
orthogonalProjectionSpan_congr
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #198: completed by jsm28
1s
1s
feat(LinearAlgebra/AffineSpace/Simplex/Basic): faces and reindex Run pre-commit and in-place update PR on push #84: Commit c8e62b5 pushed by jsm28
31s range_reindex_face
range_reindex_face
31s