Merge pull request #193 from goblint/float16 · goblint/cil@95aa21c

Triggered via push September 2, 2025 13:44

sim642

develop

Status Success

Total duration 4m 38s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
doc-html Expired	937 KB	`sha256:4be29b43cb129ede510e15fd9c0370aef220c935b9fde64cf2d48cbddce1be51`