2023-03-30 15:51:01 -04:00
|
|
|
|
|
|
|
|
name: Build Spectra
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches: [ "master" ]
|
|
|
|
|
pull_request:
|
|
|
|
|
branches: [ "master" ]
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
build:
|
|
|
|
|
runs-on: ubuntu-latest
|
2023-03-30 15:55:21 -04:00
|
|
|
|
2023-03-30 15:51:01 -04:00
|
|
|
steps:
|
|
|
|
|
- name: Set up JDK 8
|
|
|
|
|
uses: actions/setup-java@v3
|
|
|
|
|
with:
|
2023-03-30 15:58:37 -04:00
|
|
|
java-version: '17'
|
2023-03-30 15:51:01 -04:00
|
|
|
distribution: 'temurin'
|
2023-03-30 15:55:21 -04:00
|
|
|
|
|
|
|
|
- name: Install ShadowProver
|
|
|
|
|
run: |
|
|
|
|
|
git clone https://github.com/rairlab/shadowprover
|
|
|
|
|
cd shadowprover
|
|
|
|
|
mvn package install
|
|
|
|
|
|
|
|
|
|
- name: Checkout Spectra
|
|
|
|
|
uses: actions/checkout@v3
|
2023-03-30 16:01:12 -04:00
|
|
|
with:
|
|
|
|
|
submodules: true
|
|
|
|
|
fetch-depth: 0
|
2023-03-30 15:51:01 -04:00
|
|
|
|
|
|
|
|
- name: Build With Maven
|
|
|
|
|
run: mvn package
|
