From 841711fe9ace43af5b443fde007d3a5c7c72c74c Mon Sep 17 00:00:00 2001 From: Alex Chew Date: Fri, 11 Nov 2022 10:09:49 -0800 Subject: [PATCH] ci: avoid reinstalling dafny-reportgenerator 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. --- .github/workflows/tests.yml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 48147878..36c5c418 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -18,9 +18,6 @@ jobs: with: dafny-version: "3.4.2" - - name: Install Dafny report generator - run: dotnet tool install --global dafny-reportgenerator - - name: Install lit run: pip install lit OutputCheck