Skip to content

fix(pkg): print depexts message when a program is not found #28649

fix(pkg): print depexts message when a program is not found

fix(pkg): print depexts message when a program is not found #28649

Triggered via pull request October 8, 2024 16:30
Status Failure
Total duration 16m 40s
Artifacts

workflow.yml

on: pull_request
Format
59s
Format
Documentation
53s
Documentation
Coq 8.16.1
7m 13s
Coq 8.16.1
Build monorepo benchmark docker image
3m 45s
Build monorepo benchmark docker image
Build microbenchmarks
2m 19s
Build microbenchmarks
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
Build (ubuntu-latest, 5.1.x)
Process completed with exit code 2.
Build (4.14.x, macos-latest, true)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
Coverage (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']
Coverage (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']
Build (macos-latest, 5.1.x)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config