Update to Dafny 4 · mit-pdos/daisy-nfsd@ded80e6

Triggered via pull request January 12, 2024 05:27

tchajed

opened #3

dafny-4

Status Success

Total duration 4m 42s

Artifacts –

main.yml

on: pull_request

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