Skip to content

feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality) #1202

feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality)

feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality) #1202

Triggered via pull request June 21, 2026 13:22
Status Failure
Total duration 3m 43s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors, 1 warning, and 1 notice
bench-visibility
Process completed with exit code 1.
coverage-visibility
Process completed with exit code 1.
build
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:1d8f1fd36f717f828c4462238497b2827ba7654308b5210b6f1b83d715366ef7