Merge pull request #211 from goblint/issue-183 · goblint/cil@abe64c5

Triggered via push January 23, 2026 13:14

sim642

develop

Status Success

Total duration 2m 57s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	834 KB	`sha256:7027405cbf50fc82dcb694736c33947dfef6af6a43d7af6a53501cd715e4b3bf`