Skip to content
GNATprove

Fix for parent commit #70

Sign in to view logs

Fix for parent commit

Fix for parent commit #70

Triggered via push August 12, 2025 20:22
@mgrojomgrojo
pushed b4cfd3d
coap-server
Status Failure
Total duration 1h 42m 5s
Artifacts –

prove.yml

on: push
gnatprove
1h 42m
gnatprove
Fit to window
Zoom out
Zoom in

Annotations

1 error
gnatprove
Process completed with exit code 1.