Skip to content
Windows

GNAT 14.2 #194

Sign in to view logs

GNAT 14.2

GNAT 14.2 #194

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

windows.yml

on: pull_request
Matrix: alt_ergo
Matrix: why3
GNAT Windows
44s
GNAT Windows
GPRbuild and GNATcov
44s
GPRbuild and GNATcov
spark
0s
spark
Matrix: gnat_cross
Fit to window
Zoom out
Zoom in

Annotations

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