Skip to content

test(pkg): Reproduce depexts message bug (#11004) #28650

test(pkg): Reproduce depexts message bug (#11004)

test(pkg): Reproduce depexts message bug (#11004) #28650

Triggered via push October 8, 2024 19:08
Status Failure
Total duration 16m 28s
Artifacts

workflow.yml

on: push
Format
1m 2s
Format
Documentation
52s
Documentation
Coq 8.16.1
7m 18s
Coq 8.16.1
Build monorepo benchmark docker image
1m 57s
Build monorepo benchmark docker image
Build microbenchmarks
2m 18s
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