2022-06-08 19:22:14 +00:00
|
|
|
# Adapted from Paper's build script
|
|
|
|
|
name: Build
|
2023-03-08 20:26:10 +00:00
|
|
|
on: [ push, pull_request ]
|
2022-04-04 23:48:21 +00:00
|
|
|
|
|
|
|
|
jobs:
|
2023-03-08 20:26:10 +00:00
|
|
|
build:
|
|
|
|
|
# Only run on PRs if the source branch is on someone else's repo
|
|
|
|
|
if: ${{ github.event_name != 'pull_request' || github.repository != github.event.pull_request.head.repo.full_name }}
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
strategy:
|
|
|
|
|
matrix:
|
|
|
|
|
java: [ 17 ]
|
|
|
|
|
fail-fast: true
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
|
- name: JDK ${{ matrix.java }}
|
|
|
|
|
uses: actions/setup-java@v3
|
|
|
|
|
with:
|
|
|
|
|
java-version: ${{ matrix.java }}
|
|
|
|
|
cache: 'gradle'
|
|
|
|
|
distribution: 'temurin'
|
|
|
|
|
- name: Build
|
|
|
|
|
run: |
|
|
|
|
|
git config --global user.email "no-reply@github.com"
|
|
|
|
|
git config --global user.name "Github Actions"
|
|
|
|
|
./gradlew build --stacktrace
|
