Skip to content

feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/… #1196

feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/…

feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/… #1196

Triggered via push June 21, 2026 12:08
Status Cancelled
Total duration 1m 30s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

9 errors, 2 warnings, and 1 notice
lint
Canceling since a higher priority waiting request for CI-refs/heads/main exists
lint
The operation was canceled.
bench-visibility
Canceling since a higher priority waiting request for CI-refs/heads/main exists
bench-visibility
The operation was canceled.
coverage-visibility
Canceling since a higher priority waiting request for CI-refs/heads/main exists
coverage-visibility
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/heads/main exists
build
Canceling since a higher priority waiting request for CI-refs/heads/main exists
build
The operation was canceled.
bench-visibility
No files were found with the provided path: bench-output.log. No artifacts will be uploaded.
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