Remove dbg.regression option · goblint/analyzer@faa2685

Triggered via push December 1, 2025 11:41

sim642

dbg-regression

Status Success

Total duration 4m 23s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

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