Dafny Nightly #391
nightly_dafny.yml
on: schedule
dafny-nightly-java
/
populate-matrix-dimensions
0s
dafny-nightly-net
/
populate-matrix-dimensions
0s
dafny-nightly-python
/
populate-matrix-dimensions
0s
dafny-nightly-rust
/
populate-matrix-dimensions
0s
dafny-nightly-verification
/
populate-matrix-dimensions
0s
Matrix: dafny-nightly-java / testJava
Matrix: dafny-nightly-net / testDotNet
Matrix: dafny-nightly-python / testPython
Matrix: dafny-nightly-rust / testRust
Matrix: dafny-nightly-verification / verification
cut-issue-on-failure
0s
Annotations
75 warnings