melange: use --mel-* flags for the (melange 1.0) extension versio…
#297
Leonidas-from-XIVworkflow.yml
on: push
Coq 8.16.1
12m 42s
Wasm_of_ocaml
7m 13s
Build microbenchmarks
2m 29s
Matrix: Create local opam switch
Matrix: Build
Annotations
3 warnings and 12 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-compiler.5.3.0,system-msvc, 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
|
|
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
|
|
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-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 (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
|