Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
I see nightly is failing again: https://github.com/dafny-lang/dafny/actions/runs/3909011490/jobs/6679674161 I'm guessing it's because of the following commit, since that's what caused the exact same issue, namely the win-4 run timing out, so I'll revert that: 790bf78. <small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
- Loading branch information