Add custom protected_by YAML witness entry unassume · goblint/analyzer@3419341

Triggered via push March 20, 2025 08:08

sim642

unassume-mutex

Status Success

Total duration 22m 41s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.83 MB	`sha256:4389a7e9b124046ea0f77b038b6f57acfd33fb2fb9a2f2b459e831fde99c5eb5`
suite_result-ubuntu-22.04 Expired	2.81 MB	`sha256:411ab71366dbff1e6b911a807f01023300c3043fe0a496f0a8d322fd849c5280`