Cleanup some `option` related code · goblint/analyzer@5da3024

Triggered via pull request February 18, 2025 19:13

synchronize #1689

option_cleanup

Status Success

Total duration 5m 30s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.16 MB	`sha256:67b3879c8c76425025837b6dafec682d44285abf999c69a9e0ff8346ed0acd17`