GNAT Linux

Gnatprove 13 gprbuild 24 #175

Sign in to view logs

Triggered via pull request November 23, 2023 09:05

Fabien-Chouteau

opened #58

gnatprove_13_gprbuild_24

Status Failure

Total duration 2h 41m 28s

Artifacts 4

linux.yml

on: pull_request

GNAT Linux and GPRbuild

Matrix: alt_ergo

Matrix: why3

Matrix: gnat_cross

Annotations

3 errors and 8 warnings

Process completed with exit code 123.

GNAT avr-elf-linux

Process completed with exit code 123.

GNAT arm-elf-linux

The operation was canceled.

alt_ergo (4.11.2)

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/

why3 (4.11.2)

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, actions/setup-python@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/

GNAT Linux and GPRbuild

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@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, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

GNAT riscv64-elf-linux

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

GNAT avr-elf-linux

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

GNAT arm-elf-linux

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/download-artifact@v2, actions/setup-python@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.8 MB
anod-artifacts Expired	296 MB
release-packages Expired	1.05 GB
why3 Expired	66.1 MB