Skip to content
Test

More BinOp::Offset tests #4448

Sign in to view logs

More BinOp::Offset tests

More BinOp::Offset tests #4448

Triggered via pull request February 4, 2026 11:31
@dkcummingdkcumming
synchronize #935
dc/more-binop-offset-tests
Status Cancelled
Total duration 12m 40s
Artifacts 1

test.yml

on: pull_request
Code Quality Checks
59s
Code Quality Checks
Unit Tests
11s
Unit Tests
Integration Tests
11m 35s
Integration Tests
Integration with stable-mir-json
1m 22s
Integration with stable-mir-json
Matrix: Nix Tests
Test Kmir Image
5m 52s
Test Kmir Image
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Integration Tests
Canceling since a higher priority waiting request for Test-refs/pull/935/merge exists
Integration Tests
The operation was canceled.
Test
Canceling since a higher priority waiting request for Test-refs/pull/935/merge exists

Artifacts

Produced during runtime
Name Size Digest
runtimeverification~mir-semantics~NWRSXD.dockerbuild
57.2 KB
sha256:1765bb55ed136c154d36d631fcb5c0bc92cbe5a96851a336f4b439bb51478ed0