Fix dirent proof · mit-pdos/daisy-nfsd@efc002d

Triggered via push January 12, 2024 05:05

tchajed

dafny-4

Status Failure

Total duration 3m 37s

Artifacts –

main.yml

on: push

1 error and 3 warnings

Process completed with exit code 2.

Restore cache failed: Dependencies file is not found in /home/runner/work/daisy-nfsd/daisy-nfsd. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/daisy-nfsd/daisy-nfsd. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /Users/runner/work/daisy-nfsd/daisy-nfsd. Supported file pattern: go.sum