Skip to content

feat(formal): real-lift R-mem (kernel) — linear memory + heap tuple r… #1268

feat(formal): real-lift R-mem (kernel) — linear memory + heap tuple r…

feat(formal): real-lift R-mem (kernel) — linear memory + heap tuple r… #1268

Triggered via push June 27, 2026 20:02
Status Success
Total duration 5m 7s
Artifacts 1

ci.yml

on: push
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:8e529119963833a9327d98b9979a65a3224b81fcf4a888d775f8e8869d320331