Skip to content

Update dependency tools.aqua:z3-turnkey to v4.13.0.1 #164

Update dependency tools.aqua:z3-turnkey to v4.13.0.1

Update dependency tools.aqua:z3-turnkey to v4.13.0.1 #164

Workflow file for this run

---
name: mvn
on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
maven-build:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-20.04, windows-2022, macos-12]
java: [11, 17]
steps:
- uses: actions/checkout@v3
- uses: actions/setup-java@v3
with:
distribution: 'temurin'
java-version: ${{ matrix.java }}
- uses: actions/cache@v3
with:
path: ~/.m2/repository
key: ${{ runner.os }}-jdk-${{ matrix.java }}-maven-${{ hashFiles('**/pom.xml') }}
restore-keys: |
${{ runner.os }}-jdk-${{ matrix.java }}-maven-
- run: mvn clean install -Pqulice --errors --batch-mode