Regenerate opam file after updating template in c3d5d23ebc9416eb5c6cb… · goblint/cil@f8a1399

Triggered via push November 20, 2025 09:34

sim642

develop

Status Success

Total duration 2m 57s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
doc-html Expired	937 KB	`sha256:6fbc31b0e8743eb38ee4dd287d9808ae5b5994ab5d7584e79bc7eb83ecba78c9`