Add missing runs-on field for MSI package job

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit 917e82c6b081 · 2020-09-16T10:29:29.000+01:00
diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml
@@ -58,6 +58,7 @@ jobs:
           HOMEBREW_GITHUB_API_TOKEN: ${{ secrets.DB_CI_CPROVER_ACCESS_TOKEN }}
 
   windows-msi-package:
+    runs-on: windows-2019
     env:
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
