Skip to content
CI

Use latest version of setup-dafny-action #419

Sign in to view logs

Use latest version of setup-dafny-action

Use latest version of setup-dafny-action #419

Triggered via push January 12, 2024 03:37
@tchajedtchajed
pushed 71dc096
dafny-4
Status Failure
Total duration 24s
Artifacts –

main.yml

on: push
Verify
16s
Verify
Test dafny_go
16s
Test dafny_go
Test NFS server
7s
Test NFS server
Test NFS server (macOS)
5s
Test NFS server (macOS)
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Test NFS server (macOS)
Unexpected HTTP response: 404
Test NFS server
Unexpected HTTP response: 404
Verify
Process completed with exit code 2.
Test dafny_go
Restore cache failed: Dependencies file is not found in /home/runner/work/daisy-nfsd/daisy-nfsd. Supported file pattern: go.sum