Skip to content

chore(nix): support build for experimental feature #28035

chore(nix): support build for experimental feature

chore(nix): support build for experimental feature #28035

Triggered via pull request August 27, 2024 15:50
Status Failure
Total duration 13m 44s
Artifacts

workflow.yml

on: pull_request
Format
2m 39s
Format
Documentation
1m 9s
Documentation
Coq 8.16.1
8m 35s
Coq 8.16.1
Build monorepo benchmark docker image
1m 53s
Build monorepo benchmark docker image
Build microbenchmarks
5m 20s
Build microbenchmarks
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
Nix (ubuntu-latest)
Process completed with exit code 1.
Nix (macos-latest)
Process completed with exit code 1.
Build (5.1.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 (4.14.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 (4.14.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, 4.14.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