Skip to content

Actions: jsm28/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
921 workflow runs
921 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. #233: completed by jsm28
1s
1s
Merge branch 'reindex_altitude' into reindex_incenter Run pre-commit and in-place update PR on push #119: Commit 625c2fe pushed by jsm28
28s reindex_incenter
reindex_incenter
28s
Merge branch 'reindex_altitude' into reindex_incenter continuous integration #233: Commit 625c2fe pushed by jsm28
3s reindex_incenter
reindex_incenter
3s
Merge branch 'reindex_altitude' into reindex_incenter Autolabel PRs #7: Commit 625c2fe pushed by jsm28
1s reindex_incenter
reindex_incenter
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #232: completed by jsm28
1s
1s
Merge branch 'master' into reindex_altitude Run pre-commit and in-place update PR on push #118: Commit 3b13c3e pushed by jsm28
24s reindex_altitude
reindex_altitude
24s
Merge branch 'master' into reindex_altitude continuous integration #232: Commit 3b13c3e pushed by jsm28
2s reindex_altitude
reindex_altitude
2s
Merge branch 'master' into reindex_altitude Autolabel PRs #6: Commit 3b13c3e pushed by jsm28
1s reindex_altitude
reindex_altitude
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #231: completed by jsm28
1s
1s
Use local instance for finite dimensional continuous integration #231: Commit 5924462 pushed by jsm28
1s angle_incenter
angle_incenter
1s
Use local instance for finite dimensional Run pre-commit and in-place update PR on push #117: Commit 5924462 pushed by jsm28
33s angle_incenter
angle_incenter
33s
Use local instance for finite dimensional Autolabel PRs #5: Commit 5924462 pushed by jsm28
1s angle_incenter
angle_incenter
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #230: completed by jsm28
Skipped
Skipped
Update for instance from review of previous PR Run pre-commit and in-place update PR on push #116: Commit f88c561 pushed by jsm28
26s bisector_dist_two_zsmul_oangle
bisector_dist_two_zsmul_oangle
26s
Update for instance from review of previous PR Autolabel PRs #4: Commit f88c561 pushed by jsm28
1s bisector_dist_two_zsmul_oangle
bisector_dist_two_zsmul_oangle
1s
Update for instance from review of previous PR continuous integration #230: Commit f88c561 pushed by jsm28
2s bisector_dist_two_zsmul_oangle
bisector_dist_two_zsmul_oangle
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #229: completed by jsm28
2s
2s
Merge branch 'master' into bisector_dist_oangle Autolabel PRs #3: Commit 0397472 pushed by jsm28
1s bisector_dist_oangle
bisector_dist_oangle
1s
Merge branch 'master' into bisector_dist_oangle continuous integration #229: Commit 0397472 pushed by jsm28
1s bisector_dist_oangle
bisector_dist_oangle
1s
Merge branch 'master' into bisector_dist_oangle Run pre-commit and in-place update PR on push #115: Commit 0397472 pushed by jsm28
26s bisector_dist_oangle
bisector_dist_oangle
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #228: completed by jsm28
1s
1s
Update Mathlib/Geometry/Euclidean/Incenter.lean Run pre-commit and in-place update PR on push #114: Commit 53d124d pushed by jsm28
27s incenter_mem_interior
incenter_mem_interior
27s
Update Mathlib/Geometry/Euclidean/Incenter.lean continuous integration #228: Commit 53d124d pushed by jsm28
1s incenter_mem_interior
incenter_mem_interior
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #227: completed by jsm28
1s
1s
Merge branch 'strict_convex_combination' into secondInter_sOppSide Run pre-commit and in-place update PR on push #113: Commit 89a8f74 pushed by jsm28
21s secondInter_sOppSide
secondInter_sOppSide
21s
ProTip! You can narrow down the results and go further in time using created:<2025-11-12 or the other filters available.