Attempt to make byte_fs proof more robust · mit-pdos/daisy-nfsd@4d7e6d1

Triggered via push January 12, 2024 05:15

tchajed

dafny-4

Status Success

Total duration 4m 52s

Artifacts –

main.yml

on: push

3 warnings

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