Merge pull request #158 from markxb/net6.0 #35
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Corral CI | |
| on: [push, pull_request, workflow_dispatch] | |
| env: | |
| SOLUTION: source/Corral.sln | |
| Z3URL: https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-ubuntu-16.04.zip | |
| jobs: | |
| job0: | |
| name: Corral CI | |
| runs-on: ubuntu-20.04 | |
| strategy: | |
| matrix: | |
| configuration: [Debug, Release] | |
| steps: | |
| - name: Setup dotnet | |
| uses: actions/setup-dotnet@v1 | |
| with: | |
| dotnet-version: '6.0.x' | |
| - name: Checkout Corral | |
| uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 0 | |
| - name: Install tools, build Corral, test Corral | |
| run: | | |
| # Download a Z3 release | |
| wget ${Z3URL} | |
| unzip z3*.zip | |
| export PATH="$(find $PWD/z3* -name bin -type d):$PATH" | |
| # Change directory to Corral root folder | |
| cd $GITHUB_WORKSPACE | |
| # Restore dotnet tools | |
| dotnet tool restore | |
| # Build Corral | |
| dotnet build -c ${{ matrix.configuration }} ${SOLUTION} | |
| # Run regression tests | |
| export CONFIGURATION=${{ matrix.configuration }} | |
| (cd test/regression && perl check.pl) |