Refactor CI matrix due to deprecated macos-13 · goblint/cil@157a8d8

Triggered via push January 8, 2026 10:56

sim642

Status Success

Total duration 2m 36s

Artifacts 1

docs.yml

on: push

Produced during runtime

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