jdk8-ci.yml

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 }}