Skip to content

Actions: jsm28/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 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. #142: completed by jsm28
Skipped
Skipped
feat(Geometry/Euclidean/Angle/Oriented/RightAngle): angles less than … continuous integration #142: Commit 0e742f5 pushed by jsm28
1s abs_oangle_toReal_lt_pi_div_two
abs_oangle_toReal_lt_pi_div_two
1s
feat(Geometry/Euclidean/Angle/Oriented/RightAngle): angles less than … Run pre-commit and in-place update PR on push #27: Commit 0e742f5 pushed by jsm28
27s abs_oangle_toReal_lt_pi_div_two
abs_oangle_toReal_lt_pi_div_two
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #141: completed by jsm28
1s
1s
feat(nalysis/SpecialFunctions/Trigonometric/Angle): equality from equ… continuous integration #141: Commit 1e8535a pushed by jsm28
1s two_zsmul_eq_iff_eq_of_abs_toReal_lt_pi_div_two
two_zsmul_eq_iff_eq_of_abs_toReal_lt_pi_div_two
1s
feat(nalysis/SpecialFunctions/Trigonometric/Angle): equality from equ… Run pre-commit and in-place update PR on push #26: Commit 1e8535a pushed by jsm28
26s two_zsmul_eq_iff_eq_of_abs_toReal_lt_pi_div_two
two_zsmul_eq_iff_eq_of_abs_toReal_lt_pi_div_two
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #140: completed by jsm28
1s
1s
Correct import reference continuous integration #140: Commit 1195487 pushed by jsm28
1s angle_projection
angle_projection
1s
Correct import reference Run pre-commit and in-place update PR on push #25: Commit 1195487 pushed by jsm28
29s angle_projection
angle_projection
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #139: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Angle): angles with orthogonal projections continuous integration #139: Commit de73dad pushed by jsm28
1s angle_projection
angle_projection
1s
feat(Geometry/Euclidean/Angle): angles with orthogonal projections Run pre-commit and in-place update PR on push #24: Commit de73dad pushed by jsm28
31s angle_projection
angle_projection
31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #138: completed by jsm28
1s
1s
feat(LinearAlgebra/AffineSpace/FiniteDimensional): `finiteDimensional… Run pre-commit and in-place update PR on push #23: Commit dbf5be2 pushed by jsm28
27s finiteDimensional_direction_affineSpan_insert_set
finiteDimensional_direction_affineSpan_insert_set
27s
feat(LinearAlgebra/AffineSpace/FiniteDimensional): `finiteDimensional… continuous integration #138: Commit dbf5be2 pushed by jsm28
1s finiteDimensional_direction_affineSpan_insert_set
finiteDimensional_direction_affineSpan_insert_set
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #137: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Incenter): touchpoints are not vertices Run pre-commit and in-place update PR on push #22: Commit 47520ce pushed by jsm28
30s touchpoint_ne_point
touchpoint_ne_point
30s
feat(Geometry/Euclidean/Incenter): touchpoints are not vertices continuous integration #137: Commit 47520ce pushed by jsm28
1s touchpoint_ne_point
touchpoint_ne_point
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #136: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Angle/Bisector): oriented angle bisection and… Run pre-commit and in-place update PR on push #21: Commit 3c482f7 pushed by jsm28
26s bisector_dist_oangle
bisector_dist_oangle
26s
feat(Geometry/Euclidean/Angle/Bisector): oriented angle bisection and… continuous integration #136: Commit 3c482f7 pushed by jsm28
1s bisector_dist_oangle
bisector_dist_oangle
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #135: completed by jsm28
1s
1s
feat(Geometry/Euclidean/Angle/Oriented): oriented/unoriented equality… continuous integration #135: Commit 42ebb9d pushed by jsm28
1s angle_eq_iff_oangle_eq_or_wbtw
angle_eq_iff_oangle_eq_or_wbtw
1s
feat(Geometry/Euclidean/Angle/Oriented): oriented/unoriented equality… Run pre-commit and in-place update PR on push #20: Commit 42ebb9d pushed by jsm28
33s angle_eq_iff_oangle_eq_or_wbtw
angle_eq_iff_oangle_eq_or_wbtw
33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #134: completed by jsm28
1s
1s