Fix metadata on PtrToPtr cast
#4461
dkcummingtest.yml
on: pull_request
Code Quality Checks
59s
Integration Tests
50m 58s
Integration with stable-mir-json
4m 53s
Matrix: Nix Tests
Test Kmir Image
6m 3s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
runtimeverification~mir-semantics~TERCZC.dockerbuild
|
60.1 KB |
sha256:0a7034316cc5046fb4e16ba7534a59d4ac80aec0642e4fef03ba82d2db326134
|
|