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

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #312: completed by jsm28
1s
1s
Update Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean continuous integration #312: Commit 9c09478 pushed by jsm28
1s affine_subspace_comap_map_eq
affine_subspace_comap_map_eq
1s
Update Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean Run pre-commit and in-place update PR on push #198: Commit 9c09478 pushed by jsm28
27s affine_subspace_comap_map_eq
affine_subspace_comap_map_eq
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #311: completed by jsm28
1s
1s
Update Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean Run pre-commit and in-place update PR on push #197: Commit 5bea48d pushed by jsm28
21s affine_subspace_comap_map_eq
affine_subspace_comap_map_eq
21s
Update Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean continuous integration #311: Commit 5bea48d pushed by jsm28
2s affine_subspace_comap_map_eq
affine_subspace_comap_map_eq
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #310: completed by jsm28
Skipped
Skipped
feat(Mathlib/Geometry/Euclidean/Triangle): oriented converse of pons … Run pre-commit and in-place update PR on push #196: Commit 724c4c6 pushed by jsm28
32s oriented_converse_pons
oriented_converse_pons
32s
feat(Mathlib/Geometry/Euclidean/Triangle): oriented converse of pons … continuous integration #310: Commit 724c4c6 pushed by jsm28
1s oriented_converse_pons
oriented_converse_pons
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #309: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Sphere/SecondInter): isometry and subtype lemmas Run pre-commit and in-place update PR on push #195: Commit 7af3eaa pushed by jsm28
40s secondInter_map
secondInter_map
40s
feat(Geometry/Euclidean/Sphere/SecondInter): isometry and subtype lemmas continuous integration #309: Commit 7af3eaa pushed by jsm28
2s secondInter_map
secondInter_map
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #308: completed by jsm28
1s
1s
Merge branch 'orthogonalProjection_map' into altitude_map continuous integration #308: Commit c4cc319 pushed by jsm28
2s altitude_map
altitude_map
2s
Merge branch 'orthogonalProjection_map' into altitude_map Run pre-commit and in-place update PR on push #194: Commit c4cc319 pushed by jsm28
24s altitude_map
altitude_map
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #307: completed by jsm28
1s
1s
Remove simp marker, fails linting continuous integration #307: Commit c19cca1 pushed by jsm28
1s orthogonalProjection_map
orthogonalProjection_map
1s
Remove simp marker, fails linting Run pre-commit and in-place update PR on push #193: Commit c19cca1 pushed by jsm28
23s orthogonalProjection_map
orthogonalProjection_map
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #306: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Altitude): map and restrict lemmas continuous integration #306: Commit 564b695 pushed by jsm28
1s altitude_map
altitude_map
1s
feat(Geometry/Euclidean/Altitude): map and restrict lemmas Run pre-commit and in-place update PR on push #192: Commit 564b695 pushed by jsm28
29s altitude_map
altitude_map
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #305: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Projection): map and subtype lemmas Run pre-commit and in-place update PR on push #191: Commit 8eee484 pushed by jsm28
28s orthogonalProjection_map
orthogonalProjection_map
28s
feat(Geometry/Euclidean/Projection): map and subtype lemmas continuous integration #305: Commit 8eee484 pushed by jsm28
2s orthogonalProjection_map
orthogonalProjection_map
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #304: completed by jsm28
1s
1s