Add a Dafny project file · mit-pdos/daisy-nfsd@ded80e6

Triggered via push January 12, 2024 05:27

tchajed

dafny-4

Status Success

Total duration 4m 53s

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