Skip to content

Merge pull request #614 from patricoferris/keep-dune-pkg-happy #844

Merge pull request #614 from patricoferris/keep-dune-pkg-happy

Merge pull request #614 from patricoferris/keep-dune-pkg-happy #844

Triggered via push December 2, 2025 16:15
Status Failure
Total duration 41s
Artifacts

trunk-build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
The process '/opt/hostedtoolcache/opam/2.5.0/x86_64/opam' failed with exit code 20