Skip to content

Bump ocaml/setup-ocaml from 2.2.9 to 3.0.3 #580

Bump ocaml/setup-ocaml from 2.2.9 to 3.0.3

Bump ocaml/setup-ocaml from 2.2.9 to 3.0.3 #580

Workflow file for this run

name: VERDICT Integration Workflow
# Runs whenever a pull request is created, reopened, or modified
on:
pull_request:
types: [ opened, reopened, synchronize ]
workflow_dispatch:
# Runs integration workflow as a CI check:
# - Builds VERDICT source and runs unit tests
jobs:
integration:
container:
image: maven:${{ matrix.maven-version }}
volumes:
- /usr/bin/docker:/usr/bin/docker
- /var/run/docker.sock:/var/run/docker.sock
runs-on: ${{ matrix.os }}
strategy:
matrix:
distribution: [ temurin ]
java-version: [ 17 ]
maven-version: [ 3.9.5 ]
os: [ ubuntu-22.04 ]
steps:
- name: Check out VERDICT source
uses: actions/[email protected]
- name: Set up Java and Maven
uses: actions/[email protected]
with:
cache: maven
distribution: ${{ matrix.distribution }}
java-version: ${{ matrix.java-version }}
- name: Build VERDICT source
run: |
mvn -B install -f tools/verdict-back-ends/verdict-bundle/z3-native-libs/pom.xml
mvn -B package -f tools/pom.xml -Dtycho.localArtifacts=ignore