Skip to content

Actions: or4nge19/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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. #303: completed by or4nge19
1s
1s
add Weierstrass factorization with prescribed zeros continuous integration #303: Commit 84f8261 pushed by or4nge19
1s WF
WF
1s
add Weierstrass factorization with prescribed zeros Run pre-commit and in-place update PR on push #220: Commit 84f8261 pushed by or4nge19
20s WF
WF
20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #302: completed by or4nge19
1s
1s
add logDeriv_divisorCanonicalProduct_one_eq_tsum + refactor continuous integration #302: Commit d735933 pushed by or4nge19
11s WF
WF
11s
add logDeriv_divisorCanonicalProduct_one_eq_tsum + refactor Run pre-commit and in-place update PR on push #219: Commit d735933 pushed by or4nge19
22s WF
WF
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #301: completed by or4nge19
1s
1s
add summable_logDerivTerms_divisorZeroIndex₀_of_summable_inv_sq continuous integration #301: Commit 4bfb7d5 pushed by or4nge19
1s WF
WF
1s
add summable_logDerivTerms_divisorZeroIndex₀_of_summable_inv_sq Run pre-commit and in-place update PR on push #218: Commit 4bfb7d5 pushed by or4nge19
25s WF
WF
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #300: completed by or4nge19
1s
1s
Add analytic lemmas & docs for Hadamard/Gamma/Xi continuous integration #300: Commit 6daeb52 pushed by or4nge19
1s WF
WF
1s
Add analytic lemmas & docs for Hadamard/Gamma/Xi Run pre-commit and in-place update PR on push #217: Commit 6daeb52 pushed by or4nge19
21s WF
WF
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #299: completed by or4nge19
Skipped
Skipped
Centered Hadamard API, Robbins and zeta updates continuous integration #299: Commit 292209e pushed by or4nge19
1s WF
WF
1s
Centered Hadamard API, Robbins and zeta updates Run pre-commit and in-place update PR on push #216: Commit 292209e pushed by or4nge19
26s WF
WF
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #298: completed by or4nge19
1s
1s
continue the refactor continuous integration #298: Commit 4521923 pushed by or4nge19
1s WF
WF
1s
continue the refactor Run pre-commit and in-place update PR on push #215: Commit 4521923 pushed by or4nge19
23s WF
WF
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #297: completed by or4nge19
2s
2s
continue refactor Run pre-commit and in-place update PR on push #214: Commit 7e53ec6 pushed by or4nge19
20s WF
WF
20s
continue refactor continuous integration #297: Commit 7e53ec6 pushed by or4nge19
1s WF
WF
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #296: completed by or4nge19
4s
4s
cleanup continuous integration #296: Commit df843af pushed by or4nge19
1s WF
WF
1s
cleanup Run pre-commit and in-place update PR on push #213: Commit df843af pushed by or4nge19
23s WF
WF
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #295: completed by or4nge19
1s
1s