GCC 13.1 and dependencies update #166
Triggered via pull request
October 5, 2023 16:59
Fabien-Chouteau
Status
Failure
Total duration
1d 2h 40m 21s
Artifacts
2
Annotations
1 error and 2 warnings
|
GNAT Linux and GPRbuild
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
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, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
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, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
alt-ergo
Expired
|
17.3 MB |
|
|
why3
Expired
|
62.8 MB |
|