Fix exp.single-threaded spawning errors · goblint/analyzer@bb1e7aa

Triggered via push April 8, 2026 09:02

sim642

no-threadflag

Status Success

Total duration 16m 17s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest Expired	3 MB	`sha256:6922eee2bb0c9e18838723dd8d6ef44f16a5f9b4debbbe95744147934a1a5cd9`
suite_result-ubuntu-latest Expired	3.04 MB	`sha256:a924809fe2b2ab962884f7fb8d896866592729fa3f1e872392f1326281b28bf0`