ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) #1365
hyperpolymathci.yml
on: push
build
3m 50s
lint
3m 17s
bench-visibility
3m 43s
coverage-visibility
25m 18s
vscode-smoke
30s
migration-assistant
22s
Annotations
3 errors, 1 warning, and 1 notice
|
bench-visibility
Process completed with exit code 1.
|
|
coverage-visibility
The job has exceeded the maximum execution time of 25m0s
|
|
coverage-visibility
The operation was canceled.
|
|
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:813117aef8431f1ac136f2cc2164f0106da94a6ee76eb6dd7fda7be3ab13a16d
|
|