Skip to content

Actions: jsm28/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
957 workflow runs
957 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into map_vectorSpan continuous integration #320: Commit b9727e4 pushed by jsm28
2s map_vectorSpan
map_vectorSpan
2s
Merge branch 'master' into map_vectorSpan Run pre-commit and in-place update PR on push #206: Commit b9727e4 pushed by jsm28
24s map_vectorSpan
map_vectorSpan
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #319: completed by jsm28
Skipped
Skipped
Merge branch 'map_vectorSpan' into altitude_map Run pre-commit and in-place update PR on push #205: Commit 89593bd pushed by jsm28
23s altitude_map
altitude_map
23s
Merge branch 'map_vectorSpan' into altitude_map continuous integration #319: Commit 89593bd pushed by jsm28
1s altitude_map
altitude_map
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #318: completed by jsm28
1s
1s
Update Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean Run pre-commit and in-place update PR on push #204: Commit 0e83977 pushed by jsm28
23s map_vectorSpan
map_vectorSpan
23s
Update Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean continuous integration #318: Commit 0e83977 pushed by jsm28
1s map_vectorSpan
map_vectorSpan
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #317: completed by jsm28
1s
1s
Merge branch 'circumcenter_map' into sine_rule_angle_circumradius Run pre-commit and in-place update PR on push #203: Commit 9a1d79c pushed by jsm28
24s sine_rule_angle_circumradius
sine_rule_angle_circumradius
24s
Merge branch 'circumcenter_map' into sine_rule_angle_circumradius continuous integration #317: Commit 9a1d79c pushed by jsm28
2s sine_rule_angle_circumradius
sine_rule_angle_circumradius
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #316: completed by jsm28
1s
1s
Merge branch 'master' into circumcenter_map Run pre-commit and in-place update PR on push #202: Commit f613bcf pushed by jsm28
23s circumcenter_map
circumcenter_map
23s
Merge branch 'master' into circumcenter_map continuous integration #316: Commit f613bcf pushed by jsm28
2s circumcenter_map
circumcenter_map
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #315: completed by jsm28
1s
1s
Merge branch 'affine_subspace_comap_map_eq' into altitude_map continuous integration #315: Commit e22b7a4 pushed by jsm28
1s altitude_map
altitude_map
1s
Merge branch 'affine_subspace_comap_map_eq' into altitude_map Run pre-commit and in-place update PR on push #201: Commit e22b7a4 pushed by jsm28
21s altitude_map
altitude_map
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #314: completed by jsm28
1s
1s
Update for implicit argument removal Run pre-commit and in-place update PR on push #200: Commit 3d01642 pushed by jsm28
23s affine_subspace_comap_map_eq
affine_subspace_comap_map_eq
23s
Update for implicit argument removal continuous integration #314: Commit 3d01642 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. #313: completed by jsm28
2s
2s
Update Mathlib/Geometry/Euclidean/Circumcenter.lean continuous integration #313: Commit 21a10e5 pushed by jsm28
3s circumcenter_map
circumcenter_map
3s
Update Mathlib/Geometry/Euclidean/Circumcenter.lean Run pre-commit and in-place update PR on push #199: Commit 21a10e5 pushed by jsm28
24s circumcenter_map
circumcenter_map
24s
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