Skip to content

docs: author the proof-needs inventory (P-/F-/K- obligation series) #1172

docs: author the proof-needs inventory (P-/F-/K- obligation series)

docs: author the proof-needs inventory (P-/F-/K- obligation series) #1172

Triggered via pull request June 20, 2026 20:04
Status Success
Total duration 3m 38s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

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
218 Bytes
sha256:032ed80f0867c1e2ffc14f728580ffcc02a1a070d4f91fc386bf790267f956fd