As of setup-dafny-action@v1.5.0, dafny-reportgenerator is installed automatically, so our test workflow fails when it also tries to install the tool. This PR removes the installation step from the test workflow.
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
As of setup-dafny-action@v1.5.0, dafny-reportgenerator is installed automatically, so our test workflow fails when it also tries to install the tool. This PR removes the installation step from the test workflow.
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.