David Cok

Organization of CI workflow impedes restarting individual jobs

6

### Dafny version 4.1.0+dev ### Code to produce this issue _No response_ ### Command to run and resulting output _No response_ ### What happened? One unfortunate side-effect of adding the...

As a help to understanding/debugging problems with VSCode or Dafny, VSCode should make visible (1) the version of the Dafny executable being run and (2) the output that dafny produces...