Hotfix adjust metadata origin retention #4460
Triggered via pull request
February 13, 2026 02:38
jberthold
Status
Success
Total duration
1h 24m 43s
Artifacts
1
test.yml
on: pull_request
Code Quality Checks
57s
Integration Tests
1h 23m
Integration with stable-mir-json
1m 42s
Matrix: Nix Tests
Test Kmir Image
6m 31s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
runtimeverification~mir-semantics~RDF1KD.dockerbuild
|
59.1 KB |
sha256:50d10867736a914626d58f0c09f58a1af95b25fa62a7e05dd8c5a9d53f9a04e1
|
|