Merge pull request #204 from jprotopopov-ut/builtin-choose-expr-1 · goblint/cil@2e73628

Triggered via push January 15, 2026 09:27

sim642

develop

Status Success

Total duration 2m 38s

Artifacts 1

docs.yml

on: push

Produced during runtime

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