Skip to content

Actions: jdhart81/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 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. #10: completed by jdhart81
1s
1s
Export workflow telemetry Export workflow telemetry #10: completed by jdhart81
1s
1s
Zulip emoji CI status Zulip emoji CI status #20: completed by jdhart81
1s
1s
Zulip emoji CI status Zulip emoji CI status #19: requested by jdhart81
1s
1s
feat(Data/ENNReal/Inv): add div_mul_div_cancel continuous integration #10: Commit 9774c69 pushed by jdhart81
1s feat/ennreal-div-mul-div-cancel
feat/ennreal-div-mul-div-cancel
1s
feat(Data/ENNReal/Inv): add div_mul_div_cancel Run pre-commit and in-place update PR on push #10: Commit 9774c69 pushed by jdhart81
26s feat/ennreal-div-mul-div-cancel
feat/ennreal-div-mul-div-cancel
26s
Zulip emoji CI status Zulip emoji CI status #18: completed by jdhart81
2s
2s
Export workflow telemetry Export workflow telemetry #9: completed by jdhart81
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by jdhart81
2s
2s
Zulip emoji CI status Zulip emoji CI status #17: requested by jdhart81
Skipped
Skipped
feat(Probability/Independence): add self-independence lemmas to ZeroO… continuous integration #9: Commit c3d5dee pushed by jdhart81
1s feat/ennreal-div-decomp
feat/ennreal-div-decomp
1s
feat(Probability/Independence): add self-independence lemmas to ZeroO… Run pre-commit and in-place update PR on push #9: Commit c3d5dee pushed by jdhart81
29s feat/ennreal-div-decomp
feat/ennreal-div-decomp
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by jdhart81
1s
1s
Export workflow telemetry Export workflow telemetry #8: completed by jdhart81
1s
1s
Zulip emoji CI status Zulip emoji CI status #16: completed by jdhart81
1s
1s
Zulip emoji CI status Zulip emoji CI status #15: requested by jdhart81
7s
7s
revert(Probability/Independence): remove ZeroOne import to fix circul… Run pre-commit and in-place update PR on push #8: Commit 54d1319 pushed by jdhart81
24s feat/ennreal-div-decomp
feat/ennreal-div-decomp
24s
revert(Probability/Independence): remove ZeroOne import to fix circul… continuous integration #8: Commit 54d1319 pushed by jdhart81
2s feat/ennreal-div-decomp
feat/ennreal-div-decomp
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by jdhart81
1s
1s
Zulip emoji CI status Zulip emoji CI status #14: completed by jdhart81
1s
1s
Export workflow telemetry Export workflow telemetry #7: completed by jdhart81
1s
1s
Zulip emoji CI status Zulip emoji CI status #13: requested by jdhart81
1s
1s
refactor(Probability/Independence): use Indep API per review continuous integration #7: Commit 6cd2bb3 pushed by jdhart81
1s feat/ennreal-div-decomp
feat/ennreal-div-decomp
1s
refactor(Probability/Independence): use Indep API per review Run pre-commit and in-place update PR on push #7: Commit 6cd2bb3 pushed by jdhart81
22s feat/ennreal-div-decomp
feat/ennreal-div-decomp
22s
Export workflow telemetry Export workflow telemetry #6: completed by jdhart81
1s
1s