Skip to content

Dafny Nightly

Dafny Nightly #148

Annotations

2 warnings

dafny-nightly-verification  /  verification (nightly-latest, TestModels/SimpleTypes/SimpleString, ubuntu-latest)

succeeded Apr 23, 2024 in 1m 25s