Skip to content
Verification of Reusable Protocol Verification Library

makes verify.sh script more robust against spaces in paths #17

Sign in to view logs

makes verify.sh script more robust against spaces in paths

makes verify.sh script more robust against spaces in paths #17

Triggered via push April 3, 2025 14:18
@ArquintLArquintL
pushed fa7c4f0
more-robust-verify-script
Status Failure
Total duration 29s
Artifacts –

library.yml

on: push
verify
18s
verify
Fit to window
Zoom out
Zoom in

Annotations

1 error
verify
Process completed with exit code 1.