Skip to content
Test

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

Sign in to view logs

Update dependency: deps/stable-mir-json_release

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

Triggered via pull request February 11, 2026 11:21
@rv-jenkinsrv-jenkins
synchronize #938
_update-deps/runtimeverification/stable-mir-json
Status Success
Total duration 48m 20s
Artifacts 1

test.yml

on: pull_request
Code Quality Checks
56s
Code Quality Checks
Unit Tests
9s
Unit Tests
Integration Tests
47m 3s
Integration Tests
Integration with stable-mir-json
1m 6s
Integration with stable-mir-json
Matrix: Nix Tests
Test Kmir Image
6m 26s
Test Kmir Image
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
runtimeverification~mir-semantics~JUX634.dockerbuild
58.1 KB
sha256:bd17df1eed757da5fdefb49e5de94ebbe110e2c744809a61683b69303108a71f