Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request June 21, 2026 11:47
@hyperpolymathhyperpolymath
opened #621
claude/lucid-cray-4a22dp
Status Success
Total duration 3m 58s
Artifacts 1

ci.yml

on: pull_request
build
3m 53s
build
lint
3m 21s
lint
bench-visibility
3m 13s
bench-visibility
coverage-visibility
3m 21s
coverage-visibility
vscode-smoke
37s
vscode-smoke
migration-assistant
18s
migration-assistant
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 Expired
218 Bytes
sha256:19f51fefc8446b99126672583823c5c3f69834743681c31926b281a118ef7c14