Feat/solo core metatheory proofs (#614) #1185
hyperpolymathci.yml
on: push
build
3m 36s
lint
3m 19s
bench-visibility
3m 16s
coverage-visibility
2m 58s
vscode-smoke
33s
migration-assistant
18s
Annotations
3 errors, 1 warning, and 1 notice
|
build
Process completed with exit code 1.
|
|
coverage-visibility
Process completed with exit code 1.
|
|
bench-visibility
Process completed with exit code 1.
|
|
coverage-visibility
No files were found with the provided path: _coverage. No artifacts will be uploaded.
|
|
adapter
@hyperpolymath/affine-vscode NOT installed (optional, awaits #104 npm publish) — smoke will skip
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
bench-output
|
218 Bytes |
sha256:f8babdb7aa35e787ea92be64cfe872f368a9093d8a47a34e51e202c2da3b9a8f
|
|