Skip to content
Test

Allow field(0) projection as a no-op when target value is a PtrLocal #4314

Sign in to view logs

Allow field(0) projection as a no-op when target value is a PtrLocal

Allow field(0) projection as a no-op when target value is a PtrLocal #4314

Triggered via pull request December 1, 2025 02:50
@jbertholdjberthold
synchronize #871
transparent-struct-access-hack
Status Success
Total duration 50m 34s
Artifacts 1

test.yml

on: pull_request
Code Quality Checks
53s
Code Quality Checks
Unit Tests
10s
Unit Tests
Integration Tests
49m 36s
Integration Tests
Integration with stable-mir-json
5m 46s
Integration with stable-mir-json
Matrix: Nix Tests
Test Kmir Image
6m 46s
Test Kmir Image
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
runtimeverification~mir-semantics~3BD794.dockerbuild
54.3 KB
sha256:353464b6fae719e3ad864ea9f85c4925468bfd28791f1df6aa86fb9f95e1647f