Skip to content

Actions: Jlh18/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
551 workflow runs
551 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #192: completed by Jlh18
Skipped
Skipped
Merge branch 'master' into GrpdBasic Run pre-commit and in-place update PR on push #151: Commit 8d85265 pushed by Jlh18
23s GrpdBasic
GrpdBasic
23s
Merge branch 'master' into GrpdBasic Autolabel PRs #9: Commit 8d85265 pushed by Jlh18
1s GrpdBasic
GrpdBasic
1s
Merge branch 'master' into GrpdBasic continuous integration #192: Commit 8d85265 pushed by Jlh18
Skipped GrpdBasic
GrpdBasic
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #191: completed by Jlh18
1s
1s
Merge branch 'master' into GrpdBasic Run pre-commit and in-place update PR on push #150: Commit 664d492 pushed by Jlh18
23s GrpdBasic
GrpdBasic
23s
Merge branch 'master' into GrpdBasic continuous integration #191: Commit 664d492 pushed by Jlh18
1s GrpdBasic
GrpdBasic
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #190: completed by Jlh18
2s
2s
mk_all continuous integration #190: Commit 368ae20 pushed by Jlh18
1s GrpdBasic
GrpdBasic
1s
mk_all Run pre-commit and in-place update PR on push #149: Commit 368ae20 pushed by Jlh18
22s GrpdBasic
GrpdBasic
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #189: completed by Jlh18
1s
1s
chore: remove more dependent PR material Run pre-commit and in-place update PR on push #148: Commit adb2c92 pushed by Jlh18
31s GrpdBasic
GrpdBasic
31s
chore: remove more dependent PR material continuous integration #189: Commit adb2c92 pushed by Jlh18
1s GrpdBasic
GrpdBasic
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #188: completed by Jlh18
2s
2s
chore: remove dependent PR files Run pre-commit and in-place update PR on push #147: Commit 5c168c5 pushed by Jlh18
31s GrpdBasic
GrpdBasic
31s
chore: remove dependent PR files continuous integration #188: Commit 5c168c5 pushed by Jlh18
1s GrpdBasic
GrpdBasic
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #187: completed by Jlh18
1s
1s
Merge branch 'master' into Core1 continuous integration #187: Commit 2a63dd4 pushed by Jlh18
2s Core1
Core1
2s
Merge branch 'master' into Core1 Run pre-commit and in-place update PR on push #146: Commit 2a63dd4 pushed by Jlh18
29s Core1
Core1
29s
Merge branch 'master' into Core1 Autolabel PRs #8: Commit 2a63dd4 pushed by Jlh18
2s Core1
Core1
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #186: completed by Jlh18
1s
1s
chore: add deprecated aliases Run pre-commit and in-place update PR on push #145: Commit 8185bca pushed by Jlh18
26s Core1
Core1
26s
chore: add deprecated aliases continuous integration #186: Commit 8185bca pushed by Jlh18
2s Core1
Core1
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #185: completed by Jlh18
1s
1s
fix: unused instance Run pre-commit and in-place update PR on push #144: Commit dfc36a3 pushed by Jlh18
28s MorphismPropertyLimits1
MorphismPropertyLimits1
28s
⚡