Gnatprove 13 gprbuild 24 · alire-project/GNAT-FSF-builds@eed0f22

Triggered via pull request November 23, 2023 09:05

opened #58

Status Failure

Total duration 41m 49s

Artifacts 2

windows.yml

on: pull_request

Matrix: alt_ergo

Matrix: why3

Matrix: gnat_cross

2 errors and 4 warnings

Process completed with exit code 127.

Process completed with exit code 127.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/download-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/

Produced during runtime

Name	Size
alt-ergo Expired	21.5 MB
why3 Expired	63.3 MB