Skip to content

test: reproduce dune exec -w crash with pkg management #28571

test: reproduce dune exec -w crash with pkg management

test: reproduce dune exec -w crash with pkg management #28571

Re-run triggered October 1, 2024 15:39
Status Failure
Total duration 8m 51s
Artifacts

workflow.yml

on: pull_request
Format
1m 1s
Format
Documentation
47s
Documentation
Coq 8.16.1
7m 4s
Coq 8.16.1
Build monorepo benchmark docker image
3m 55s
Build monorepo benchmark docker image
Build microbenchmarks
2m 20s
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.
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
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