Skip to content
CI

Update CI config #418

Sign in to view logs

Update CI config

Update CI config #418

Triggered via push January 12, 2024 03:33
@tchajedtchajed
pushed e6dcf26
dafny-4
Status Failure
Total duration 25s
Artifacts –

main.yml

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

Annotations

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