mirror of
https://github.com/RAIRLab/Spectra.git
synced 2024-11-09 11:10:34 -05:00
Properly Build Spectra via ShadowProver in GH Action
This commit is contained in:
commit
b764b53c3b
1 changed files with 14 additions and 6 deletions
20
.github/workflows/build.yml
vendored
20
.github/workflows/build.yml
vendored
|
@ -10,17 +10,25 @@ on:
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
build:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
|
||||||
- name: Checkout
|
|
||||||
uses: actions/checkout@v3
|
|
||||||
|
|
||||||
|
steps:
|
||||||
- name: Set up JDK 8
|
- name: Set up JDK 8
|
||||||
uses: actions/setup-java@v3
|
uses: actions/setup-java@v3
|
||||||
with:
|
with:
|
||||||
java-version: '8'
|
java-version: '17'
|
||||||
distribution: 'temurin'
|
distribution: 'temurin'
|
||||||
|
|
||||||
|
- name: Install ShadowProver
|
||||||
|
run: |
|
||||||
|
git clone https://github.com/rairlab/shadowprover
|
||||||
|
cd shadowprover
|
||||||
|
mvn package install
|
||||||
|
|
||||||
|
- name: Checkout Spectra
|
||||||
|
uses: actions/checkout@v3
|
||||||
|
with:
|
||||||
|
submodules: true
|
||||||
|
fetch-depth: 0
|
||||||
|
|
||||||
- name: Build With Maven
|
- name: Build With Maven
|
||||||
run: mvn package
|
run: mvn package
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue