Skip to content
GNATprove

Better contracts in Channel and clean-up #71

Sign in to view logs

Better contracts in Channel and clean-up

Better contracts in Channel and clean-up #71

Triggered via push August 13, 2025 22:41
@mgrojomgrojo
pushed 6db4337
coap-server
Status Failure
Total duration 1h 35m 41s
Artifacts –

prove.yml

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

Annotations

1 error
gnatprove
Process completed with exit code 1.