Replace non-argument Unknown castkinds · goblint/cil@41e7bd5

Triggered via push December 10, 2025 13:54

sim642

cast-kind

Status Success

Total duration 3m 2s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
doc-html Expired	937 KB	`sha256:6e83ad4527403250639318c4caa6e5e876a74ed58d0fd744db29cd2dbea1c5b0`