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