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. #29: completed by jsm28
1s
1s
Merge branch 'faceOpposite_point_eq_point' into orthogonalProjectionS… continuous integration #29: Commit deacf92 pushed by jsm28
2s orthogonalProjectionSpan_eq_point
orthogonalProjectionSpan_eq_point
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #28: completed by jsm28
Skipped
Skipped
Add factored-out lemmas on orderEmbOfFin continuous integration #28: Commit 30d5727 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. #27: completed by jsm28
1s
1s
Merge branch 'orthogonalProjectionSpan_eq_point' into touchpoint_sign continuous integration #27: Commit 8988bd1 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. #26: completed by jsm28
1s
1s
Merge branch 'faceOpposite_point_eq_point' into orthogonalProjectionS… continuous integration #26: Commit 908501f 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. #25: completed by jsm28
Skipped
Skipped
Move cast continuous integration #25: Commit 2f65c27 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. #24: completed by jsm28
1s
1s
Merge branch 'orthogonalProjectionSpan_eq_point' into touchpoint_sign continuous integration #24: Commit 2ff9ec9 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. #23: completed by jsm28
1s
1s
Merge branch 'faceOpposite_point_eq_point' into orthogonalProjectionS… continuous integration #23: Commit 63be3da 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. #22: completed by jsm28
1s
1s
Add succAbove statement continuous integration #22: Commit 8963c6c pushed by jsm28
2s faceOpposite_point_eq_point
faceOpposite_point_eq_point
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #21: completed by jsm28
1s
1s
Update for Fin.rev changes continuous integration #21: Commit 2ed477f 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. #20: completed by jsm28
1s
1s
Use Fin.rev continuous integration #20: Commit 2159f66 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. #19: completed by jsm28
Skipped
Skipped
Use Fin.rev continuous integration #19: Commit 0ed6997 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. #18: completed by jsm28
1s
1s
Merge branch 'master' into touchpoint_sign continuous integration #18: Commit fccaa86 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. #17: completed by jsm28
1s
1s
ProTip! You can narrow down the results and go further in time using created:<2025-06-30 or the other filters available.