From 6ccce18ad8d1cf62d4695fe987e88fab6311ebb5 Mon Sep 17 00:00:00 2001
From: amai2012 <amai2012@users.noreply.github.com>
Date: Thu, 16 Apr 2020 21:19:57 +0200
Subject: [PATCH] GitHub action: add Windows CLI build (#2604)

Build and run tests on Windows x64
---
 .github/workflows/CI-windows.yml | 42 ++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 .github/workflows/CI-windows.yml

diff --git a/.github/workflows/CI-windows.yml b/.github/workflows/CI-windows.yml
new file mode 100644
index 000000000..db0ce224b
--- /dev/null
+++ b/.github/workflows/CI-windows.yml
@@ -0,0 +1,42 @@
+# Some convenient links:
+# - https://github.com/actions/virtual-environments/blob/master/images/win/Windows2019-Readme.md
+#
+
+name: CI-windows
+
+on: [push,pull_request]
+
+jobs:
+
+  build:
+    strategy:
+      matrix:
+        # windows 2016 should default to VS 2017. Not supported by setup-msbuild
+        os: [windows-2019]
+      fail-fast: true
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: Setup msbuild.exe
+        uses: microsoft/setup-msbuild@v1.0.0
+
+      - name: Install Z3 library
+        run: |
+          curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-win.zip -o z3-4.8.7-win.zip
+          7z x z3-4.8.7-win.zip -oexternals -r -y
+          move externals\z3-4.8.7-x64-win externals\z3
+
+      - name: Build x64 debug configuration using MSBuild
+        run: msbuild -m cppcheck.sln /p:Configuration=Debug
+
+      - name: Run Debug test
+        run: .\bin\debug\testrunner.exe
+
+      - name: Build x64 release configuration using MSBuild
+        run: msbuild -m cppcheck.sln /p:Configuration=Release
+
+      - name: Run Release test
+        run: .\bin\testrunner.exe