Skip to content

fix: Set DAFNY_VERSION correctly on Windows #107

fix: Set DAFNY_VERSION correctly on Windows

fix: Set DAFNY_VERSION correctly on Windows #107

Annotations

1 error and 2 warnings

This job failed