More BinOp::Offset tests
#4449
Triggered via pull request
February 4, 2026 11:43
dkcumming
Status
Success
Total duration
1h 18m 25s
Artifacts
1
test.yml
on: pull_request
Code Quality Checks
55s
Integration Tests
1h 17m
Integration with stable-mir-json
1m 28s
Matrix: Nix Tests
Test Kmir Image
6m 45s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
runtimeverification~mir-semantics~GHIOF2.dockerbuild
|
58.5 KB |
sha256:2816f8e073eb8868185622ff6166681304926c124985b673d33dd2e1c2655ff8
|
|