Skip to content

Actions: SEhumantics/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Zulip emoji CI status Zulip emoji CI status #14: completed by ichxorya
Skipped
Skipped
Export workflow telemetry Export workflow telemetry #7: completed by ichxorya
Skipped
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by ichxorya
Skipped
Skipped
Zulip emoji CI status Zulip emoji CI status #13: requested by ichxorya
1s
1s
Merge branch 'master' into ichxorya/fix continuous integration #7: Commit 08c07e2 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 #7: Commit 08c07e2 pushed by ichxorya
25s ichxorya/fix
ichxorya/fix
25s
Export workflow telemetry Export workflow telemetry #6: 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. #6: completed by ichxorya
2s
2s
Zulip emoji CI status Zulip emoji CI status #12: completed by ichxorya
2s
2s
Zulip emoji CI status Zulip emoji CI status #11: requested by ichxorya
1s
1s
Merge branch 'master' into ichxorya/fix continuous integration #6: Commit 8006e28 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 #6: Commit 8006e28 pushed by ichxorya
25s ichxorya/fix
ichxorya/fix
25s
Export workflow telemetry Export workflow telemetry #5: 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. #5: completed by ichxorya
1s
1s
Zulip emoji CI status Zulip emoji CI status #10: completed by ichxorya
1s
1s
Zulip emoji CI status Zulip emoji CI status #9: requested by ichxorya
Skipped
Skipped
Merge branch 'master' into ichxorya/fix continuous integration #5: Commit e4c0e50 pushed by ichxorya
2s ichxorya/fix
ichxorya/fix
2s
Merge branch 'master' into ichxorya/fix Run pre-commit and in-place update PR on push #5: Commit e4c0e50 pushed by ichxorya
27s ichxorya/fix
ichxorya/fix
27s
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