ci: reenable rocq #37408
Alizterworkflow.yml
on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Format
1m 28s
Documentation
59s
Cygwin Build
2m 43s
Test that the utop dev tool can be built and run
9m 21s
Matrix: Bootstrap
Matrix: Nix Build 4.08
Matrix: Build with OxCaml
Rocq 9.1
6m 44s
Rocq 9.1 (native)
12m 57s
Wasm_of_ocaml
2m 37s
Building Dune with OxCaml
24m 8s
Build microbenchmarks
1m 49s
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
|