fix(kmir.md): handle projected operandMove callees #4680
Stevengretest.yml
on: pull_request
Code Quality Checks
1m 3s
Integration Tests
12m 32s
Integration with stable-mir-json
1m 11s
Matrix: Nix Tests
Test Kmir Image
6m 22s
Annotations
3 errors
|
Integration Tests
Canceling since a higher priority waiting request for Test-refs/pull/983/merge exists
|
|
Integration Tests
The operation was canceled.
|
|
Test
Canceling since a higher priority waiting request for Test-refs/pull/983/merge exists
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
runtimeverification~mir-semantics~JCRVSQ.dockerbuild
|
57.9 KB |
sha256:a7785e6807afab0e7b6394899c3b6b415040117f68f8ee97e0f8acde6566e45b
|
|