From 97843c79e0cd74253b8068f7f5e18443b829879d Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Thu, 30 Mar 2023 15:55:21 -0400 Subject: [PATCH 1/3] Install ShadowProver first --- .github/workflows/build.yml | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5d47925..6f42478 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -10,17 +10,22 @@ on: jobs: build: runs-on: ubuntu-latest + steps: - - name: Checkout - uses: actions/checkout@v3 - - name: Set up JDK 8 uses: actions/setup-java@v3 with: java-version: '8' 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 run: mvn package - - From 067db0e5b8c77ed963bc3b5a856efc352b410503 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Thu, 30 Mar 2023 15:58:37 -0400 Subject: [PATCH 2/3] Updating java version --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 6f42478..284bab9 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -15,7 +15,7 @@ jobs: - name: Set up JDK 8 uses: actions/setup-java@v3 with: - java-version: '8' + java-version: '17' distribution: 'temurin' - name: Install ShadowProver From d9a893e4876e27fbc27d4a5860b291d58ab3d851 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Thu, 30 Mar 2023 16:01:12 -0400 Subject: [PATCH 3/3] Checkout submodule --- .github/workflows/build.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 284bab9..6b96dad 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -26,6 +26,9 @@ jobs: - name: Checkout Spectra uses: actions/checkout@v3 + with: + submodules: true + fetch-depth: 0 - name: Build With Maven run: mvn package