Dafny Nightly #409
nighly_dafny.yml
on: schedule
Matrix: dafny-nightly-net / testDotNet
Matrix: dafny-nightly-net / testVectors
Matrix: dafny-nightly-verification / verification
Matrix: dafny-nightly-rust / testRust
Matrix: dafny-nightly-rust / testVectors
cut-issue-on-failure
5s
Annotations
5 errors and 35 warnings