Skip to content

chore(nix): always include ocaml-lsp in dev tools (#11102) #28971

chore(nix): always include ocaml-lsp in dev tools (#11102)

chore(nix): always include ocaml-lsp in dev tools (#11102) #28971

Triggered via push November 5, 2024 22:23
Status Success
Total duration 16m 57s
Artifacts

workflow.yml

on: push
Format
1m 1s
Format
Documentation
50s
Documentation
Coq 8.16.1
7m 26s
Coq 8.16.1
Build monorepo benchmark docker image
3m 58s
Build monorepo benchmark docker image
Build microbenchmarks
2m 38s
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