Remove not useful test case. · goblint/analyzer@cd52bde

Triggered via push February 17, 2025 16:22

jerhard

c2po

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.2 MB	`sha256:6df784b3a70777bd0ba4a60e1ce2924ac4e71b933f79485ec84077e1aa321bbb`