Skip to content

Merge pull request #36 from charguer/libc_flag #10

Merge pull request #36 from charguer/libc_flag

Merge pull request #36 from charguer/libc_flag #10

Triggered via push February 9, 2026 10:01
Status Success
Total duration 5m 50s
Artifacts 1

doc.yml

on: push
Deploy documentation to GitHub Pages
12s
Deploy documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Documentation
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
Documentation
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.04 MB
sha256:551b344711d2665ef470fc1bf7b5c30bd4eba251d1bb81846bf08d09fa037e66