feat(ci): add cargo prove new to ci (#550)

.github/workflows/tests.yml

@@ -43,8 +43,9 @@ jobs:
           RUST_BACKTRACE: 1
           CARGO_INCREMENTAL: 1
           FRI_QUERIES: 1
-  e2e:
-    name: E2E
+
+  misc:
+    name: Miscellaneous
     runs-on: warp-ubuntu-latest-arm64-8x
     env:
       CARGO_NET_GIT_FETCH_WITH_CLI: "true"
@@ -56,13 +57,21 @@ jobs:
         uses: ./.github/actions/setup
         with:
           pull_token: ${{ secrets.PULL_TOKEN }}
-
+      - name: Run cargo test with no default features
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: -p sp1-core --release --no-default-features --features debug -- cpu::trace::tests::generate_trace
+        env:
+          RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -Ctarget-cpu=native
+          RUST_LOG: 1
+          RUST_BACKTRACE: 1
+          CARGO_INCREMENTAL: 1
       - name: Install sp1 toolchain
         run: |
           curl -L https://sp1.succinct.xyz | bash
           echo "/root/.sp1/bin" >> $GITHUB_PATH
           /root/.sp1/bin/sp1up
-
       - name: Run fibonacci-io example
         uses: actions-rs/cargo@v1
         with:
@@ -73,30 +82,12 @@ jobs:
           RUST_LOG: 1
           RUST_BACKTRACE: 1
           CARGO_INCREMENTAL: 1
-
-  misc:
-    name: Miscellaneous
-    runs-on: warp-ubuntu-latest-arm64-8x
-    env:
-      CARGO_NET_GIT_FETCH_WITH_CLI: "true"
-    steps:
-      - name: Checkout sources
-        uses: actions/checkout@v2
-
-      - name: Setup CI
-        uses: ./.github/actions/setup
-        with:
-          pull_token: ${{ secrets.PULL_TOKEN }}
-      - name: Run cargo test with no default features
-        uses: actions-rs/cargo@v1
-        with:
-          command: test
-          args: -p sp1-core --release --no-default-features --features debug -- cpu::trace::tests::generate_trace
-        env:
-          RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -Ctarget-cpu=native
-          RUST_LOG: 1
-          RUST_BACKTRACE: 1
-          CARGO_INCREMENTAL: 1
+      - name: Run cargo prove new
+        run: |
+          cargo prove new cargo-prove-test
+          cd cargo-prove-test
+          cd script
+          cargo run --release
 
   lints:
     name: Formatting & Clippy