Test

Update dependency: deps/stable-mir-json_release #4458

Sign in to view logs

Triggered via pull request February 11, 2026 11:21

rv-jenkins

synchronize #938

_update-deps/runtimeverification/stable-mir-json

Status Cancelled

Total duration 41s

Artifacts –

test.yml

on: pull_request

Code Quality Checks

Integration Tests

Integration with stable-mir-json

Matrix: Nix Tests

Test Kmir Image

Annotations

3 errors

Code Quality Checks

Canceling since a higher priority waiting request for Test-refs/pull/938/merge exists

Code Quality Checks

The operation was canceled.

Canceling since a higher priority waiting request for Test-refs/pull/938/merge exists