Fix difference between bootstrap & dune behaviour w.r.t include-subdirs ambiguity #33885
Alizterworkflow.yml
on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Matrix: Bootstrap
Matrix: Nix Build 4.08
Coq 8.16.1
2m 9s
Wasm_of_ocaml
3m 55s
Build microbenchmarks
1m 56s
Matrix: Create local opam switch
Matrix: Build
Annotations
2 warnings
|
Build (4.14.x, macos-latest)
pkgconf 2.5.1 is already installed and up-to-date.
To reinstall 2.5.1, run:
brew reinstall pkgconf
|
|
Build (5.3.x, macos-latest, true)
pkgconf 2.5.1 is already installed and up-to-date.
To reinstall 2.5.1, run:
brew reinstall pkgconf
|