Merge pull request #199 from goblint/cast-kind · goblint/cil@c5941fc

Triggered via push January 8, 2026 10:46

sim642

develop

Status Success

Total duration 5m 45s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
doc-html Expired	938 KB	`sha256:f4d475da425f9de27ede8cbc1329790d2819cde08a6b022b3068767ec7d70fa9`