Skip to content

Concrete value collection api #71

Concrete value collection api

Concrete value collection api #71

Workflow file for this run

name: JDK 8 CI
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Set up JDK 1.8
uses: actions/setup-java@v1
with:
java-version: 1.8
- name: Build with Maven
run: mvn verify -Pfull-smt --file pom.xml -s .github/github-settings.xml
env:
GITHUB_ACTOR: vorpal-reseacher
GITHUB_TOKEN: ${{ secrets.ORG_GITHUB_TOKEN }}