Skip to content

GCC 13.1 and dependencies update #149

GCC 13.1 and dependencies update

GCC 13.1 and dependencies update #149

Triggered via pull request October 5, 2023 16:59
Status Failure
Total duration 9m 35s
Artifacts

macos.yml

on: pull_request
GNAT macOS and GPRbuild
0s
GNAT macOS and GPRbuild
Matrix: alt_ergo
Matrix: why3
GNATcov
0s
GNATcov
Matrix: gnat_cross
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 2 warnings
GNAT macOS and GPRbuild
The job was not started because recent account payments have failed or your spending limit needs to be increased. Please check the 'Billing & plans' section in your settings.
why3 (4.11.2)
Error: The process '/usr/local/bin/opam' failed with exit code 5
alt_ergo (4.10.0)
Error: The process '/usr/local/bin/opam' failed with exit code 5
why3 (4.11.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, ocaml/setup-ocaml@v1.1.11. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
alt_ergo (4.10.0)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, ocaml/setup-ocaml@v1.1.11. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/