Merge pull request #207 from jprotopopov-ut/auto-type-nonpure-1 · goblint/cil@7797529

Triggered via push January 15, 2026 11:27

sim642

develop

Status Success

Total duration 2m 37s

Artifacts 1

docs.yml

on: push

Produced during runtime

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