Use Macos13 instead of 14 #5535
Merged
Annotations
1 error
Last run of nightly-build.yml did not succeed: https://github.com/dafny-lang/dafny/actions/runs/9386079213
|
This job failed
Loading
Last run of nightly-build.yml did not succeed: https://github.com/dafny-lang/dafny/actions/runs/9386079213
|