Cleanup some `option` related code · goblint/analyzer@41730e0

Triggered via pull request February 18, 2025 20:38

synchronize #1689

option_cleanup

Status Success

Total duration 4m 41s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.16 MB	`sha256:8d42d54db53d47a0ddb5c24a614868f718b6cf867d1de02ad313437e1f2a77ee`