Add a configuration option to enable package management (#12025) #296
Leonidas-from-XIVworkflow.yml
on: push
Format
1m 32s
Documentation
1m 1s
Coq 8.16.1
12m 57s
Wasm_of_ocaml
25m 46s
Build microbenchmarks
2m 33s
Matrix: Build
Matrix: Create local opam switch
Matrix: Nix
Annotations
3 errors, 3 warnings, and 10 notices
|
Build (5.3.x, macos-latest)
Process completed with exit code 2.
|
|
Wasm_of_ocaml
Process completed with exit code 40.
|
|
Build (5.3.x, ubuntu-latest)
Process completed with exit code 2.
|
|
Build (4.14.x, macos-latest, true)
pkgconf 2.5.1 is already installed and up-to-date.
To reinstall 2.5.1, run:
brew reinstall pkgconf
|
|
Build (ocaml-base-compiler.5.3.0,system-mingw, windows-latest)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-cygwin-3.6.4, another job may be creating this cache.
|
|
Build (5.3.x, macos-latest)
pkgconf 2.5.1 is already installed and up-to-date.
To reinstall 2.5.1, run:
brew reinstall pkgconf
|
|
Build (4.14.x, macos-latest, true)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Build (4.14.x, macos-latest, true)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Nix (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Nix (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Create local opam switch (macos-latest, 4.14)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Create local opam switch (macos-latest, 4.14)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Create local opam switch (macos-latest, 5)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Create local opam switch (macos-latest, 5)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Build (5.3.x, macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Build (5.3.x, macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|