Skip to content

Actions: jsm28/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
978 workflow runs
978 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. #335: completed by jsm28
1s
1s
Merge branch 'circumcenter_map' into sine_rule_angle_circumradius Run pre-commit and in-place update PR on push #221: Commit 5362285 pushed by jsm28
22s sine_rule_angle_circumradius
sine_rule_angle_circumradius
22s
Merge branch 'circumcenter_map' into sine_rule_angle_circumradius continuous integration #335: Commit 5362285 pushed by jsm28
1s sine_rule_angle_circumradius
sine_rule_angle_circumradius
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #334: completed by jsm28
Skipped
Skipped
have plus exact in place of convert per review continuous integration #334: Commit 36abcbc pushed by jsm28
2s circumcenter_map
circumcenter_map
2s
have plus exact in place of convert per review Run pre-commit and in-place update PR on push #220: Commit 36abcbc pushed by jsm28
22s circumcenter_map
circumcenter_map
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #333: completed by jsm28
1s
1s
Update Mathlib/Geometry/Euclidean/Circumcenter.lean continuous integration #333: Commit 71524ae pushed by jsm28
1s circumcenter_map
circumcenter_map
1s
Update Mathlib/Geometry/Euclidean/Circumcenter.lean Run pre-commit and in-place update PR on push #219: Commit 71524ae 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. #332: completed by jsm28
1s
1s
Merge branch 'master' into altitude_map continuous integration #332: Commit 40bf451 pushed by jsm28
2s altitude_map
altitude_map
2s
Merge branch 'master' into altitude_map Run pre-commit and in-place update PR on push #218: Commit 40bf451 pushed by jsm28
22s altitude_map
altitude_map
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #331: completed by jsm28
1s
1s
Update for implicit argument continuous integration #331: Commit 44204ef pushed by jsm28
1s altitude_map
altitude_map
1s
Update for implicit argument Run pre-commit and in-place update PR on push #217: Commit 44204ef pushed by jsm28
22s altitude_map
altitude_map
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #330: completed by jsm28
1s
1s
Don't use duplicate map_vectorSpan lemma Run pre-commit and in-place update PR on push #216: Commit a5d7b68 pushed by jsm28
26s altitude_map
altitude_map
26s
Don't use duplicate map_vectorSpan lemma continuous integration #330: Commit a5d7b68 pushed by jsm28
2s altitude_map
altitude_map
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #329: completed by jsm28
1s
1s
Merge branch 'master' into map_vectorSpan continuous integration #329: Commit cd43f4e pushed by jsm28
1s map_vectorSpan
map_vectorSpan
1s
Merge branch 'master' into map_vectorSpan Run pre-commit and in-place update PR on push #215: Commit cd43f4e pushed by jsm28
25s map_vectorSpan
map_vectorSpan
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #328: completed by jsm28
1s
1s
Merge branch 'orthogonalProjection_map' into altitude_map Run pre-commit and in-place update PR on push #214: Commit 8a48263 pushed by jsm28
21s altitude_map
altitude_map
21s
Merge branch 'orthogonalProjection_map' into altitude_map continuous integration #328: Commit 8a48263 pushed by jsm28
2s altitude_map
altitude_map
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #327: completed by jsm28
1s
1s