Merge pull request #205 from jprotopopov-ut/attr-param-mult-1 · goblint/cil@597cbec

Triggered via push January 14, 2026 14:38

sim642

develop

Status Success

Total duration 2m 28s

Artifacts 1

docs.yml

on: push

Produced during runtime

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