Dafny Nightly #120
nightly_dafny.yml
on: schedule
Matrix: dafny-nightly-java / testJava
Matrix: dafny-nightly-net / testDotNet
Matrix: dafny-nightly-rust / testRust
Matrix: dafny-nightly-verification / verification
Annotations
159 warnings