Updates for release 3.16 #154
Annotations
2 errors and 1 notice
|
macos
Process completed with exit code 1.
|
|
macos
menhir: Failed to download resource "menhir (20240715)"
Download failed: https://gitlab.inria.fr/fpottier/menhir/-/archive/20240715/menhir-20240715.tar.bz2
|
|
macos
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
|