Skip to content

Gdb python static

Gdb python static #154

Triggered via pull request October 20, 2023 13:48
Status Cancelled
Total duration 19m 26s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

macos.yml

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

Annotations

2 errors and 4 warnings
SPARK
Unable to find an artifact with the name: anod-artifacts
GNAT macOS and GPRbuild
The operation was canceled.
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/
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/
SPARK
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/
GNAT macOS 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. 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
14 MB
why3 Expired
46.4 MB