Skip to content

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

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

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

Triggered via pull request June 21, 2026 00:10
Status Success
Total duration 3m 37s
Artifacts –

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 1 warning, and 1 notice
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