refactor: improve promotion error due to permissions #37303
rgrinbergworkflow.yml
on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Format
1m 19s
Documentation
54s
Cygwin Build
2m 52s
Test that the utop dev tool can be built and run
8m 52s
Matrix: Bootstrap
Matrix: Nix Build 4.08
Matrix: Build with OxCaml
Coq 8.16.1
1m 33s
Wasm_of_ocaml
2m 17s
Building Dune with OxCaml
10m 10s
Build microbenchmarks
1m 38s
Matrix: Create local opam switch
Matrix: Build
Annotations
4 warnings
|
Build (4.14.x, 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.4.x, 5.4.x, macos-latest, true)
pkgconf 2.5.1 is already installed and up-to-date.
To reinstall 2.5.1, run:
brew reinstall pkgconf
|