Skip to content
JDK 11 CI

use maven cache in github actions #101

Sign in to view logs

use maven cache in github actions

use maven cache in github actions #101

Workflow file for this run

.github/workflows/jdk11-ci.yml at e01b65d
name: JDK 11 CI
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Set up JDK 11
uses: actions/setup-java@v1
with:
java-version: 11
- name: Cache local Maven repository
uses: actions/cache@v3
with:
path: ~/.m2/repository
key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
restore-keys: |
${{ runner.os }}-maven-
- 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 }}