feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + while simulation (settles #601) #1265
hyperpolymathci.yml
on: pull_request
build
3m 29s
lint
3m 15s
bench-visibility
2m 57s
coverage-visibility
3m 0s
vscode-smoke
31s
migration-assistant
29s
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
|
218 Bytes |
sha256:1d156776861ca50d8cb3b889bb585cb057efeec3fd1a21c59f2bfb52c64f2e13
|
|