replace git submodule with local

risc0 · Mar 18, 2024 · 851f455 · 851f455
1 parent 5a40658
commit 851f455
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/risc0-ethereum.yml b/.github/workflows/risc0-ethereum.yml
@@ -120,7 +120,9 @@ jobs:
         run: python ../risc0/.github/cargo_local_patch.py .
         working-directory: risc0-ethereum
       - name: Local patch on bonsai-foundry-template
-        run: python ../risc0/.github/cargo_local_patch.py . --exclude-dir=lib
+        run: |
+          python ../risc0/.github/cargo_local_patch.py . --exclude-dir=lib
+          git -c protocol.file.allow=always submodule add --force --name lib/risc0-ethereum ../risc0-ethereum
         working-directory: bonsai-foundry-template
       # Run Bootstrap-groth16 to update test receipt for checking
       # the latest groth16 prover against the solidity verifier on risc0-ethereum