Merge pull request #1884 from goblint/update_suite-parallel · goblint/analyzer@6f2a10b

Triggered via push December 1, 2025 10:41

sim642

master

Status Success

Total duration 4m 36s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.5 MB	`sha256:dd70db4fa24c61d6ca2864afafa4134ae82092825ce7ee3d5cee317c45654117`