Make zrapp dependency on zarith · goblint/cil@a35d59e

Triggered via push September 3, 2025 09:31

sim642

develop

Status Success

Total duration 2m 40s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
doc-html Expired	937 KB	`sha256:1e96c2c3e03afa73ff082c6a58b9e6fe02eb03098b31219e20f4f6e3befb7448`