Revert to only publishing docs from develop branch · goblint/cil@b65d5d6

Triggered via push January 15, 2026 10:27

sim642

github-pages-workflow

Status Success

Total duration 2m 22s

Artifacts 1

docs.yml

on: push

Produced during runtime

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