Expose Cil.d_castkind · goblint/cil@6360600

Triggered via push December 10, 2025 12:17

sim642

cast-kind

Status Success

Total duration 2m 42s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
doc-html Expired	937 KB	`sha256:626072f41a8f1a3449648544600a43e4f12ab4edc2c85090264c06ec2d6e0a82`