locked · goblint/analyzer@50de522

Triggered via push March 9, 2026 16:19

hseidl

fwd_constrsys_new

Status Success

Total duration 13m 17s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3.01 MB	`sha256:545548528eedaf0de26b5a3e5f665cf209fb4f09bd364e0d4a00353989d8bd5b`
suite_result-ubuntu-latest	3.05 MB	`sha256:29dcb8548da3cbc09306c8f71f7a2bc680d34c754561febbb6741d891b653cdc`