Merge remote-tracking branch 'origin/main' into scroll-dev-0807

scroll-tech · Aug 7, 2024 · 226bc0b · 226bc0b
2 parents 5e39747 + 5f3b8d7
commit 226bc0b
Show file tree

Hide file tree

Showing 64 changed files with 1,498 additions and 536 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -194,4 +194,4 @@ jobs:
           cd ../script
           cargo remove sp1-sdk
           cargo add sp1-sdk --path $GITHUB_WORKSPACE/sdk
-          SP1_DEV=1 RUST_LOG=info cargo run --release
+          SP1_DEV=1 RUST_LOG=info cargo run --release -- --prove