Add more assertions to nonlin proofs · mit-pdos/daisy-nfsd@0bc2d3e

Triggered via push January 12, 2024 03:44

tchajed

dafny-4

Status Failure

Total duration 1m 3s

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