integration.yml

# Runs whenever a pull request is created, reopened, or has a change
# made to it

name: VERDICT Integration Workflow

on:
  pull_request:
    types: [opened, reopened, synchronize]
  workflow_dispatch:

# Runs integration workflow as a CI check:
# - Builds VERDICT source & runs unit tests

jobs:
  integration:
    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        distribution: [ temurin ]
        java-version: [ 11 ]
        os: [ ubuntu-20.04 ]

    steps:
    - name: Check out VERDICT source
      uses: actions/checkout@v3.2.0

    - name: Set up GraphViz
      uses: ts-graphviz/setup-graphviz@v1

    - name: Set up Java and Maven
      uses: actions/setup-java@v3.9.0
      with:
        cache: maven
        distribution: ${{ matrix.distribution }}
        java-version: ${{ matrix.java-version }}

    - name: Build VERDICT source
      run: |
        mvn -B install --file tools/verdict-back-ends/verdict-bundle/z3-native-libs/pom.xml
        mvn -B package -Dtycho.localArtifacts=ignore --file tools/pom.xml
      env:
        GraphVizPath: /usr/bin