rairlab/Spectra
1
0
Fork 0
mirror of https://github.com/RAIRLab/Spectra.git synced 2024-12-04 14:16:03 -05:00
Code Issues Projects Releases Packages Wiki Activity

Install ShadowProver first

Browse source
This commit is contained in:
Brandon Rozek 2023-03-30 15:55:21 -04:00
parent 007c87e57e
commit 97843c79e0
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
.github/workflows/build.yml vendored
View file

@ -10,17 +10,22 @@ 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: '8'
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
- name: Build With Maven - name: Build With Maven
run: mvn package run: mvn package