Cleanup some `option` related code · goblint/analyzer@ebfbd06

Triggered via pull request July 31, 2025 08:20

synchronize #1689

option_cleanup

Status Success

Total duration 4m 26s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.43 MB	`sha256:b2707f38e21e0e1a953f766f8e6984304f85b05e431078ae37b42cb30e8b1fc9`