Skip to content
macOS

GNAT 14.2 #201

Sign in to view logs

GNAT 14.2

GNAT 14.2 #201

Triggered via pull request August 22, 2024 11:45
@Fabien-ChouteauFabien-Chouteau
synchronize #77
gnat-14.2
Status Cancelled
Total duration 1m 4s
Artifacts –

macos.yml

on: pull_request
Matrix: alt_ergo
Matrix: why3
GNAT macOS
49s
GNAT macOS
GPRbuild and GNATcov
51s
GPRbuild and GNATcov
SPARK
0s
SPARK
Matrix: gnat_cross
Fit to window
Zoom out
Zoom in

Annotations

8 errors
alt_ergo (4.12.1)
The run was canceled by @Fabien-Chouteau.
alt_ergo (4.12.1)
The operation was canceled.
why3 (4.12.1)
The run was canceled by @Fabien-Chouteau.
why3 (4.12.1)
The operation was canceled.
GNAT macOS
The run was canceled by @Fabien-Chouteau.
GNAT macOS
The operation was canceled.
GPRbuild and GNATcov
The run was canceled by @Fabien-Chouteau.
GPRbuild and GNATcov
The operation was canceled.