Require js_of_ocaml >= 6 (#11487) #30039
workflow.yml
on: push
Format
1m 3s
Documentation
3m 15s
Coq 8.16.1
7m 11s
Wasm_of_ocaml
12m 14s
Build monorepo benchmark docker image
2m 13s
Build microbenchmarks
2m 33s
Matrix: Build
Matrix: Create local opam switch
Matrix: Nix
Annotations
2 warnings
Build (4.14.x, macos-latest, true)
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
Build (macos-latest, 5.1.x)
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|