Revert "Change jobs option default to 1" · goblint/analyzer@0dcc4fe

Triggered via push August 15, 2025 08:43

sim642

jobs-0

Status Success

Total duration 20m 40s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.94 MB	`sha256:af42251ec0b368a49289a4ada8f9ff6ca9444c06aaef1edac98263f2093a96a5`
suite_result-ubuntu-22.04 Expired	2.97 MB	`sha256:12016be1ae452055ee619e2373a74196632c4289634c903631db94241b6a41b0`