macOS_arm

Gnatprove wave #30

Sign in to view logs

Triggered via pull request July 9, 2024 13:27

Fabien-Chouteau

opened #70

gnatprove_wave

Status Cancelled

Total duration 1h 1m 1s

Artifacts –

macos_arm.yml

on: pull_request

Matrix: alt_ergo

Matrix: why3

Matrix: gnat_cross

Annotations

4 errors and 4 warnings

alt_ergo (4.11.2)

The process '/Users/runner/hostedtoolcache/opam/2.1.6/arm64/opam' failed with exit code 20

why3 (4.11.2)

The process '/Users/runner/hostedtoolcache/opam/2.1.6/arm64/opam' failed with exit code 20

The run was canceled by @Fabien-Chouteau.

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. 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.11.2)

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-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. 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 Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/