Update test.yml

marcoeilers · Oct 4, 2021 · c0603dc · c0603dc
1 parent 25c0484
commit c0603dc
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -14,17 +14,13 @@ jobs:
 
     runs-on: ubuntu-latest
     env:
-      BOOGIE_EXE: "viper_tools/boogie/Binaries/Boogie"
+      BOOGIE_EXE: "boogie"
     steps:
     - uses: actions/checkout@v2
     - name: Set up Python 3.8
       uses: actions/setup-python@v2
       with:
         python-version: 3.8
-    - name: Get Viper tools
-      run: |
-        curl https://github.com/viperproject/viper-ide/releases/download/v-2021-08-03-0738/ViperToolsLinux.zip -Lo ViperToolsLinux.zip
-        unzip ViperToolsLinux.zip -d viper_tools
     - name: Install nagini
       run: |
         python -m pip install --upgrade pip