Skip to content

Actions: SEhumantics/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Export workflow telemetry Export workflow telemetry #4: completed by ichxorya
1s
1s
Zulip emoji CI status Zulip emoji CI status #8: completed by ichxorya
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by ichxorya
1s
1s
Zulip emoji CI status Zulip emoji CI status #7: requested by ichxorya
1s
1s
Merge branch 'master' into ichxorya/fix Run pre-commit and in-place update PR on push #4: Commit c99b1de pushed by ichxorya
29s ichxorya/fix
ichxorya/fix
29s
Merge branch 'master' into ichxorya/fix continuous integration #4: Commit c99b1de pushed by ichxorya
1s ichxorya/fix
ichxorya/fix
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by ichxorya
2s
2s
Export workflow telemetry Export workflow telemetry #3: completed by ichxorya
1s
1s
Zulip emoji CI status Zulip emoji CI status #6: completed by ichxorya
1s
1s
Zulip emoji CI status Zulip emoji CI status #5: requested by ichxorya
2s
2s
fix: rename "ne" for clarity in multiple files continuous integration #3: Commit 8ea7ee2 pushed by ichxorya
1s ichxorya/fix
ichxorya/fix
1s
fix: rename "ne" for clarity in multiple files Run pre-commit and in-place update PR on push #3: Commit 8ea7ee2 pushed by ichxorya
24s ichxorya/fix
ichxorya/fix
24s
Export workflow telemetry Export workflow telemetry #2: completed by ichxorya
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by ichxorya
1s
1s
Zulip emoji CI status Zulip emoji CI status #4: completed by ichxorya
1s
1s
Zulip emoji CI status Zulip emoji CI status #3: requested by ichxorya
1s
1s
fix(RingTheory/NoetherNormalization): correct lemma names according t… Run pre-commit and in-place update PR on push #2: Commit c208491 pushed by ichxorya
26s ichxorya/fix
ichxorya/fix
26s
fix(RingTheory/NoetherNormalization): correct lemma names according t… continuous integration #2: Commit c208491 pushed by ichxorya
2s ichxorya/fix
ichxorya/fix
2s
Zulip emoji CI status Zulip emoji CI status #2: completed by ichxorya
1s
1s
Export workflow telemetry Export workflow telemetry #1: completed by ichxorya
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by ichxorya
1s
1s
Zulip emoji CI status Zulip emoji CI status #1: requested by ichxorya
1s
1s
Merge branch 'master' into ichxorya/fix continuous integration #1: Commit 3100742 pushed by ichxorya
1s ichxorya/fix
ichxorya/fix
1s
Merge branch 'master' into ichxorya/fix Run pre-commit and in-place update PR on push #1: Commit 3100742 pushed by ichxorya
29s ichxorya/fix
ichxorya/fix
29s