GNATprove 14.1 #196
Fabien-Chouteaulinux.yml
on: pull_request
Matrix: alt_ergo
Matrix: why3
GNAT Linux
2m 49s
GPRbuild and GNATcov
2m 48s
spark
0s
Matrix: gnat_cross
Annotations
8 errors and 2 notices
|
why3 (4.11.2)
The run was canceled by @Fabien-Chouteau.
|
|
why3 (4.11.2)
The operation was canceled.
|
|
GPRbuild and GNATcov
The run was canceled by @Fabien-Chouteau.
|
|
GPRbuild and GNATcov
The operation was canceled.
|
|
alt_ergo (4.11.2)
The run was canceled by @Fabien-Chouteau.
|
|
alt_ergo (4.11.2)
The operation was canceled.
|
|
GNAT Linux
The run was canceled by @Fabien-Chouteau.
|
|
GNAT Linux
The operation was canceled.
|
|
why3 (4.11.2)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
|
|
alt_ergo (4.11.2)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
|