Implement delayed widening · goblint/analyzer@bf8f4e9

Re-run triggered April 10, 2025 07:50

sim642

#1483

Status Success

Total duration 29m 10s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.87 MB	`sha256:beda8920a6f1d290b3b2fb425098659eb4b9daab3723283cb973046336614130`
suite_result-ubuntu-22.04 Expired	2.85 MB	`sha256:98c095b690aff476dd2824d7bffa1ed004ae219f7e4055f104f6587103c418a9`