Fix roundup proofs · mit-pdos/daisy-nfsd@3d44c4f

Triggered via push January 12, 2024 03:50

tchajed

dafny-4

Status Failure

Total duration 2m 12s

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