Skip to content

Actions: hawkrobe/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
521 workflow runs
521 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
Export workflow telemetry Export workflow telemetry #85: completed by hawkrobe
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #85: completed by hawkrobe
1s
1s
Zulip emoji CI status Zulip emoji CI status #170: completed by hawkrobe
11s
11s
Zulip emoji CI status Zulip emoji CI status #169: requested by hawkrobe
1s
1s
feat(Order/Antisymmetrization): comparable minimal elements are equiv… continuous integration #85: Commit ff37eec pushed by hawkrobe
1s minimal-antisymmRel
minimal-antisymmRel
1s
feat(Order/Antisymmetrization): comparable minimal elements are equiv… Run pre-commit and in-place update PR on push #85: Commit ff37eec pushed by hawkrobe
30s minimal-antisymmRel
minimal-antisymmRel
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #84: completed by hawkrobe
1s
1s
Export workflow telemetry Export workflow telemetry #84: completed by hawkrobe
9s
9s
Zulip emoji CI status Zulip emoji CI status #168: completed by hawkrobe
1s
1s
Zulip emoji CI status Zulip emoji CI status #167: requested by hawkrobe
11s
11s
feat(Order/Antisymmetrization): comparable minimal elements are equiv… continuous integration #84: Commit 1c9d66c pushed by hawkrobe
9s minimal-antisymmRel
minimal-antisymmRel
9s
feat(Order/Antisymmetrization): comparable minimal elements are equiv… Run pre-commit and in-place update PR on push #84: Commit 1c9d66c pushed by hawkrobe
27s minimal-antisymmRel
minimal-antisymmRel
27s
Export workflow telemetry Export workflow telemetry #83: completed by hawkrobe
1s
1s
Zulip emoji CI status Zulip emoji CI status #166: completed by hawkrobe
Skipped
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #83: completed by hawkrobe
1s
1s
Zulip emoji CI status Zulip emoji CI status #165: requested by hawkrobe
6s
6s
feat(Order/Antisymmetrization): comparable minimal elements are equiv… continuous integration #83: Commit a978f77 pushed by hawkrobe
1s minimal-antisymmRel
minimal-antisymmRel
1s
feat(Order/Antisymmetrization): comparable minimal elements are equiv… Run pre-commit and in-place update PR on push #83: Commit a978f77 pushed by hawkrobe
25s minimal-antisymmRel
minimal-antisymmRel
25s
Export workflow telemetry Export workflow telemetry #82: completed by hawkrobe
8s
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #82: completed by hawkrobe
1s
1s
Zulip emoji CI status Zulip emoji CI status #164: completed by hawkrobe
10s
10s
Zulip emoji CI status Zulip emoji CI status #163: requested by hawkrobe
11s
11s
feat(Order/Antisymmetrization): comparable minimal elements are equiv… continuous integration #82: Commit aa9c8d0 pushed by hawkrobe
1s minimal-antisymmRel
minimal-antisymmRel
1s
feat(Order/Antisymmetrization): comparable minimal elements are equiv… Run pre-commit and in-place update PR on push #82: Commit aa9c8d0 pushed by hawkrobe
23s minimal-antisymmRel
minimal-antisymmRel
23s
Export workflow telemetry Export workflow telemetry #81: completed by hawkrobe
Skipped
Skipped