Simplify some things in `relationAnalysis` · goblint/analyzer@2812ce7

Triggered via push February 18, 2025 19:13

option_cleanup

Status Success

Total duration 4m 41s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

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