Skip to content
Check Index

GNATprove 14 #591

Sign in to view logs

GNATprove 14

GNATprove 14 #591

Triggered via pull request July 11, 2024 13:47
@Fabien-ChouteauFabien-Chouteau
opened #1118
gnatprove-14
Status Success
Total duration 50s
Artifacts –

check-index.yml

on: pull_request
build
37s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Cache save failed.