Merge pull request #5495 from hannes-steffenhagen-diffblue/CD/msi_installer

hannes-steffenhagen-diffblue · web-flow · commit e2400a986f42 · 2020-09-16T13:56:38.000+01:00
Add missing runs-on field for MSI package job
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:
