Skip to content

Add a configuration option to enable package management (#12025) #136

Add a configuration option to enable package management (#12025)

Add a configuration option to enable package management (#12025) #136

Triggered via push July 17, 2025 09:34
Status Failure
Total duration 28m 45s
Artifacts

bench.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Build (ubuntu-latest, 5.1.x)
Process completed with exit code 2.
Build (ubuntu-latest, 5.1.x)
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']