Add type-correcting projections on pointer cast and related operations #4453
Triggered via pull request
February 10, 2026 22:43
jberthold
Status
Failure
Total duration
3h 20m 54s
Artifacts
1
test.yml
on: pull_request
Code Quality Checks
56s
Integration Tests
3h 19m
Integration with stable-mir-json
1m 47s
Matrix: Nix Tests
Test Kmir Image
6m 1s
Annotations
1 error
|
Integration Tests
Process completed with exit code 2.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
runtimeverification~mir-semantics~XN94VA.dockerbuild
|
58.5 KB |
sha256:07826d397da7e71cd6920719b7714473c5b54692388ea8a127e279699c6ba9f4
|
|