Skip to content

fix: Add or remove dune from package sets to allow resolving packages depending on it #28960

fix: Add or remove dune from package sets to allow resolving packages depending on it

fix: Add or remove dune from package sets to allow resolving packages depending on it #28960

Triggered via pull request November 5, 2024 15:20
Status Success
Total duration 16m 46s
Artifacts

workflow.yml

on: pull_request
Format
1m 3s
Format
Documentation
53s
Documentation
Coq 8.16.1
7m 26s
Coq 8.16.1
Build monorepo benchmark docker image
4m 6s
Build monorepo benchmark docker image
Build microbenchmarks
2m 22s
Build microbenchmarks
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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