Repository navigation
Arena/01a0db23 metamanifold webui #201
hyperpolymathci.yml
on: pull_request
Julia tests
29s
Repo hygiene (licence · format · lint · commit)
17s
Proofs (Agda)
1m 8s
Gate triage (cicd-squabbler)
Annotations
7 errors and 1 warning
|
Repo hygiene (licence · format · lint · commit)
Canceling since a higher priority waiting request for CI-refs/pull/94/merge exists
|
|
Repo hygiene (licence · format · lint · commit)
Process completed with exit code 1.
|
|
Julia tests
Canceling since a higher priority waiting request for CI-refs/pull/94/merge exists
|
|
Julia tests
Process completed with exit code 1.
|
|
Proofs (Agda)
Canceling since a higher priority waiting request for CI-refs/pull/94/merge exists
|
|
Proofs (Agda)
Process completed with exit code 1.
|
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/94/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:de35de9d48eb79c2ff8a31c1937b088184d0f3bbc5e347b4aab8a3fd650a3245
|
|
|
julia-benchmarks-comprehensive
|
1.23 KB |
sha256:204ecd4309746081ad548af52f2ab6583af7bd8d24fad45d5c338a85277ea827
|
|