Repository navigation
Arena/01a0db23 metamanifold webui #217
hyperpolymathci.yml
on: pull_request
Julia tests
17s
Repo hygiene (licence · format · lint · commit)
5s
Proofs (Agda)
4s
Gate triage (cicd-squabbler)
0s
Annotations
7 errors and 1 warning
|
Repo hygiene (licence · format · lint · commit)
Canceling since a higher priority waiting request for CI-refs/pull/99/merge exists
|
|
Repo hygiene (licence · format · lint · commit)
The operation was canceled.
|
|
Proofs (Agda)
Canceling since a higher priority waiting request for CI-refs/pull/99/merge exists
|
|
Proofs (Agda)
The operation was canceled.
|
|
Julia tests
Canceling since a higher priority waiting request for CI-refs/pull/99/merge exists
|
|
Julia tests
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/99/merge exists
|
|
Julia tests
No files were found with the provided path: lcov.info. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
frontend-tests-benchmarks
|
728 Bytes |
sha256:95b7710ac41d6c6fff673abf4ec5db970fdc9c6b1c6832c449f672484fd9fdfd
|
|
|
julia-benchmarks-comprehensive
|
1.23 KB |
sha256:61e0ba2a0e75c80f5f3b0bf3e821d98bdf8ce606f452a1fa63d6c5e0a2746591
|
|