Fix handling of root module dependencies (#12227) #298
Leonidas-from-XIVworkflow.yml
on: push
Matrix: Nix Build
Matrix: Nix Tests
Format
1m 33s
Documentation
1m 3s
Matrix: Bootstrap
Matrix: Nix Build 4.08
Coq 8.16.1
13m 25s
Wasm_of_ocaml
7m 31s
Build microbenchmarks
3m 10s
Matrix: Create local opam switch
Matrix: Build
Annotations
3 warnings and 10 notices
|
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
|
|
Build (ocaml-base-compiler.5.3.0,system-mingw, windows-latest, true)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-cygwin-3.6.4, another job may be creating this cache.
|
|
Nix Build (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 Build (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 (4.14.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 (4.14.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
|
|
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 (ocaml-compiler.5.3.0,system-msvc, windows-latest, true)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
|
|
Build (5.3.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 (5.3.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 (ocaml-base-compiler.5.3.0,system-mingw, windows-latest, true)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
|