docs: record the Coq proof gate and the 2026-07-29 rescue session (#712) #1371
hyperpolymathci.yml
on: push
build
3m 37s
lint
3m 22s
bench-visibility
2m 56s
coverage-visibility
3m 34s
vscode-smoke
34s
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
|