Cleanup `option` related code · goblint/analyzer@0604e65

Triggered via push February 18, 2025 18:44

option_cleanup

Status Success

Total duration 4m 38s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.16 MB	`sha256:0e679d89887c9119567796dd9528ffdcaa57badedf7dd6e56a311b68dfe41641`