feat: v1.1.1 (#1263)

succinctlabs · Aug 6, 2024 · 42b4027 · 42b4027
2 parents 923d77d + 42fdcbc
commit 42b4027
Show file tree

Hide file tree

Showing 63 changed files with 1,478 additions and 516 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