43 lines
1.1 KiB
YAML
43 lines
1.1 KiB
YAML
|
# 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
|