fixes ViperTools download URLs

viperproject · May 19, 2021 · 39fc978 · 39fc978
1 parent af79daa
commit 39fc978
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/scala.yml b/.github/workflows/scala.yml
@@ -269,13 +269,13 @@ jobs:
         name: [latest, release]
         include:
           - name: latest
-            win-tools-url: "http://viper.ethz.ch/downloads/ViperToolsLastReleaseWin.zip"
-            linux-tools-url: "http://viper.ethz.ch/downloads/ViperToolsLastReleaseLinux.zip"
-            mac-tools-url: "http://viper.ethz.ch/downloads/ViperToolsLastReleaseMac.zip"
-          - name: release
             win-tools-url: "http://viper.ethz.ch/downloads/ViperToolsNightlyWin.zip"
             linux-tools-url: "http://viper.ethz.ch/downloads/ViperToolsNightlyLinux.zip"
             mac-tools-url: "http://viper.ethz.ch/downloads/ViperToolsNightlyMac.zip"
+          - name: release
+            win-tools-url: "http://viper.ethz.ch/downloads/ViperToolsLastReleaseWin.zip"
+            linux-tools-url: "http://viper.ethz.ch/downloads/ViperToolsLastReleaseLinux.zip"
+            mac-tools-url: "http://viper.ethz.ch/downloads/ViperToolsLastReleaseMac.zip"
     runs-on: ubuntu-latest
     steps:
       - name: Install prerequisites