CI

Merge pull request #3 from mit-pdos/dafny-4 #430

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test NFS server	41s
Test dafny_go	21s
Test NFS server (macOS)	54s
Verify	4m 23s
	6m 19s