Skip to content

Actions: jsm28/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,787 workflow runs
1,787 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. #617: completed by jsm28
1s
1s
Merge branch 'dist_secondInter_excenter' into imo2024q4 continuous integration #617: Commit b8f33df pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'dist_secondInter_excenter' into imo2024q4 Run pre-commit and in-place update PR on push #503: Commit b8f33df pushed by jsm28
28s imo2024q4
imo2024q4
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #616: completed by jsm28
1s
1s
Merge branch 'angle_incenter' into dist_secondInter_excenter continuous integration #616: Commit 4905cbd pushed by jsm28
1s dist_secondInter_excenter
dist_secondInter_excenter
1s
Merge branch 'angle_incenter' into dist_secondInter_excenter Run pre-commit and in-place update PR on push #502: Commit 4905cbd pushed by jsm28
22s dist_secondInter_excenter
dist_secondInter_excenter
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #615: completed by jsm28
1s
1s
Merge branch 'angle_incenter' into angle_incenter_unoriented continuous integration #615: Commit 762a6d2 pushed by jsm28
Skipped angle_incenter_unoriented
angle_incenter_unoriented
Skipped
Merge branch 'angle_incenter' into angle_incenter_unoriented Run pre-commit and in-place update PR on push #501: Commit 762a6d2 pushed by jsm28
23s angle_incenter_unoriented
angle_incenter_unoriented
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #614: completed by jsm28
1s
1s
Merge branch 'master' into angle_incenter continuous integration #614: Commit bcf2b9e pushed by jsm28
1s angle_incenter
angle_incenter
1s
Merge branch 'master' into angle_incenter Run pre-commit and in-place update PR on push #500: Commit bcf2b9e pushed by jsm28
24s angle_incenter
angle_incenter
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #613: completed by jsm28
7s
7s
Merge branch 'dist_secondInter_excenter' into imo2024q4 Autolabel PRs #47: Commit 62384a3 pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'dist_secondInter_excenter' into imo2024q4 continuous integration #613: Commit 62384a3 pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'dist_secondInter_excenter' into imo2024q4 Run pre-commit and in-place update PR on push #499: Commit 62384a3 pushed by jsm28
26s imo2024q4
imo2024q4
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #612: completed by jsm28
1s
1s
Merge branch 'angle_incenter' into dist_secondInter_excenter Run pre-commit and in-place update PR on push #498: Commit 4c8222b pushed by jsm28
27s dist_secondInter_excenter
dist_secondInter_excenter
27s
Merge branch 'angle_incenter' into dist_secondInter_excenter continuous integration #612: Commit 4c8222b pushed by jsm28
2s dist_secondInter_excenter
dist_secondInter_excenter
2s
Merge branch 'angle_incenter' into dist_secondInter_excenter Autolabel PRs #46: Commit 4c8222b pushed by jsm28
2s dist_secondInter_excenter
dist_secondInter_excenter
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #611: completed by jsm28
1s
1s
Merge branch 'angle_incenter' into angle_incenter_unoriented continuous integration #611: Commit 9069ddb pushed by jsm28
1s angle_incenter_unoriented
angle_incenter_unoriented
1s
Merge branch 'angle_incenter' into angle_incenter_unoriented Run pre-commit and in-place update PR on push #497: Commit 9069ddb pushed by jsm28
24s angle_incenter_unoriented
angle_incenter_unoriented
24s
Merge branch 'angle_incenter' into angle_incenter_unoriented Autolabel PRs #45: Commit 9069ddb pushed by jsm28
1s angle_incenter_unoriented
angle_incenter_unoriented
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #610: completed by jsm28
1s
1s