Remove Unknown castkind · goblint/cil@7525631

Triggered via push December 29, 2025 12:09

sim642

cast-kind

Status Success

Total duration 2m 51s

Artifacts 1

docs.yml

on: push

Produced during runtime

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