fix workflow

morph-l2 · Sep 25, 2024 · 49d37f4 · 49d37f4
1 parent 1c96dcb
commit 49d37f4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/prover.yml b/.github/workflows/prover.yml
@@ -23,3 +23,4 @@ jobs:
             - uses: actions/checkout@v3
             - name: Run build
               run: make build-prover
+              shell: bash
diff --git a/prover/Makefile b/prover/Makefile
@@ -1,5 +1,5 @@
 build-prover:
-	./sp1up.sh && sp1up && cargo build
+	./sp1up.sh && . ~/.bashrc && sp1up && cargo build
 
 save-plonk-circuits:
 	rm -rf plonk-circuits && \