Skip to content
Test

Update from master #4445

Sign in to view logs

Update from master

Update from master #4445

Triggered via pull request February 4, 2026 08:51
@jbertholdjberthold
opened #934
master
Status Success
Total duration 1h 39m 9s
Artifacts 1

test.yml

on: pull_request
Code Quality Checks
56s
Code Quality Checks
Unit Tests
14s
Unit Tests
Integration Tests
1h 38m
Integration Tests
Integration with stable-mir-json
5m 13s
Integration with stable-mir-json
Matrix: Nix Tests
Test Kmir Image
6m 44s
Test Kmir Image
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
runtimeverification~mir-semantics~Z3MIT0.dockerbuild
57.6 KB
sha256:44d163b09a1d24d737482a0f198b8719e85229f20ea0a628b7914a5652d5a0fb