Use new CLI for Go translation · mit-pdos/daisy-nfsd@7889de0

Triggered via push January 12, 2024 04:50

tchajed

dafny-4

Status Failure

Total duration 2m 21s

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