Merge pull request #201 from goblint/github-actions-macos-13-deprecated · goblint/cil@4bd1804

Triggered via push January 8, 2026 11:24

sim642

develop

Status Success

Total duration 2m 40s

Artifacts 1

docs.yml

on: push

Produced during runtime

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