feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 s… #1193
hyperpolymathci.yml
on: push
build
3m 37s
lint
2m 51s
bench-visibility
3m 16s
coverage-visibility
3m 20s
vscode-smoke
32s
migration-assistant
17s
Annotations
2 errors, 1 warning, and 1 notice
|
bench-visibility
Process completed with exit code 1.
|
|
coverage-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
Expired
|
218 Bytes |
sha256:d710cf9cffd3e6bedb4d7cd77f14c055f2c8a4a456e86dada15f2936d8a57ad5
|
|