Skip to content

Actions: jsm28/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
573 workflow runs
573 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'atleasttwo_sub_one' into touchpoint_interior_sbtw Run pre-commit and in-place update PR on push #15: Commit b44d00b pushed by jsm28
28s touchpoint_interior_sbtw
touchpoint_interior_sbtw
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #129: completed by jsm28
1s
1s
Merge branch 'master' into atleasttwo_sub_one continuous integration #129: Commit f146558 pushed by jsm28
2s atleasttwo_sub_one
atleasttwo_sub_one
2s
Merge branch 'master' into atleasttwo_sub_one Run pre-commit and in-place update PR on push #14: Commit f146558 pushed by jsm28
33s atleasttwo_sub_one
atleasttwo_sub_one
33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #128: completed by jsm28
1s
1s
Merge branch 'master' into angle_bisector_dist continuous integration #128: Commit dc14ce6 pushed by jsm28
2s angle_bisector_dist
angle_bisector_dist
2s
Merge branch 'master' into angle_bisector_dist Run pre-commit and in-place update PR on push #13: Commit dc14ce6 pushed by jsm28
25s angle_bisector_dist
angle_bisector_dist
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #127: completed by jsm28
1s
1s
Merge branch 'master' into touchpoint_interior_sbtw Run pre-commit and in-place update PR on push #12: Commit f7fcc0c pushed by jsm28
25s touchpoint_interior_sbtw
touchpoint_interior_sbtw
25s
Merge branch 'master' into touchpoint_interior_sbtw continuous integration #127: Commit f7fcc0c pushed by jsm28
1s touchpoint_interior_sbtw
touchpoint_interior_sbtw
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #126: completed by jsm28
1s
1s
Merge branch 'interior_1_simplex' into touchpoint_interior_sbtw continuous integration #126: Commit e9b3581 pushed by jsm28
1s touchpoint_interior_sbtw
touchpoint_interior_sbtw
1s
Merge branch 'interior_1_simplex' into touchpoint_interior_sbtw Run pre-commit and in-place update PR on push #11: Commit e9b3581 pushed by jsm28
20s touchpoint_interior_sbtw
touchpoint_interior_sbtw
20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #125: completed by jsm28
1s
1s
Fix another lint failure continuous integration #125: Commit cd5965f pushed by jsm28
1s interior_1_simplex
interior_1_simplex
1s
Fix another lint failure Run pre-commit and in-place update PR on push #10: Commit cd5965f pushed by jsm28
21s interior_1_simplex
interior_1_simplex
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #124: completed by jsm28
2s
2s
Merge branch 'interior_1_simplex' into touchpoint_interior_sbtw Run pre-commit and in-place update PR on push #9: Commit 9a3b569 pushed by jsm28
19s touchpoint_interior_sbtw
touchpoint_interior_sbtw
19s
Merge branch 'interior_1_simplex' into touchpoint_interior_sbtw continuous integration #124: Commit 9a3b569 pushed by jsm28
1s touchpoint_interior_sbtw
touchpoint_interior_sbtw
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #123: completed by jsm28
1s
1s
Fix lint failure Run pre-commit and in-place update PR on push #8: Commit 4d55d0a pushed by jsm28
26s interior_1_simplex
interior_1_simplex
26s
Fix lint failure continuous integration #123: Commit 4d55d0a pushed by jsm28
1s interior_1_simplex
interior_1_simplex
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #122: completed by jsm28
1s
1s
Merge branch 'master' into angle_bisector_dist Run pre-commit and in-place update PR on push #7: Commit 6987e80 pushed by jsm28
28s angle_bisector_dist
angle_bisector_dist
28s
Merge branch 'master' into angle_bisector_dist continuous integration #122: Commit 6987e80 pushed by jsm28
1s angle_bisector_dist
angle_bisector_dist
1s
ProTip! You can narrow down the results and go further in time using created:<2025-09-21 or the other filters available.