Skip to content
GNATprove

Add server to the prove workflow using a matrix to reuse the commands #75

Sign in to view logs

Add server to the prove workflow using a matrix to reuse the commands

Add server to the prove workflow using a matrix to reuse the commands #75

Triggered via push August 18, 2025 21:28
@mgrojomgrojo
pushed 3e884fe
coap-server
Status Failure
Total duration 1h 15m 46s
Artifacts –

prove.yml

on: push
Matrix: gnatprove
Fit to window
Zoom out
Zoom in

Annotations

2 errors
gnatprove (server)
Process completed with exit code 1.
gnatprove (client)
Process completed with exit code 1.