Skip to content
GNATprove

Fix indentation and trailing whitespace #54

Sign in to view logs

Fix indentation and trailing whitespace

Fix indentation and trailing whitespace #54

Triggered via push July 12, 2025 14:59
@mgrojomgrojo
pushed 36159e1
coap-server
Status Failure
Total duration 1h 21m 2s
Artifacts –

prove.yml

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

Annotations

1 error
gnatprove
Process completed with exit code 1.