Try to fix broken proof #437
main.yml
on: push
Verify
2m 30s
Test dafny_go
12s
Test NFS server
48s
Test NFS server (macOS)
49s
Annotations
1 error
Verify
Process completed with exit code 2.
|