GNATprove

Upgrade gnatprove to version 15 #74

Sign in to view logs

Triggered via push August 15, 2025 11:35

mgrojo

feature/upgrade-gnatprove

Status Failure

Total duration 1h 26m 21s

Artifacts –

prove.yml

on: push

Annotations

1 error

Process completed with exit code 1.