chore: include all examples in the root workspace (#1566)

succinctlabs · Oct 2, 2024 · 62ff82c · 62ff82c
1 parent 3947eee
commit 62ff82c
Show file tree

Hide file tree

Showing 101 changed files with 4,939 additions and 102,735 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -162,7 +162,7 @@ jobs:
 
   examples:
     name: Examples
-    runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]
+    runs-on: [runs-on, runner=64cpu-linux-x64, "run-id=${{ github.run_id }}"]
     env:
       CARGO_NET_GIT_FETCH_WITH_CLI: "true"
     steps:
@@ -174,27 +174,22 @@ jobs:
 
       - name: Install SP1 toolchain
         run: |
-          curl -L https://sp1.succinct.xyz | bash
-          ~/.sp1/bin/sp1up 
-          ~/.sp1/bin/cargo-prove prove --version
+          cargo run -p sp1-cli -- prove install-toolchain
 
-      - name: Install SP1 CLI
+      - name: Run cargo fmt
         run: |
-          cd crates/cli
-          cargo install --force --locked --path .
-          ~/.sp1/bin/cargo-prove prove install-toolchain
-          cd ~
+          cd ./examples/
+          cargo fmt --all -- --check
 
       - name: Run cargo check
         run: |
-          RUSTFLAGS="-Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native" \
-          cargo check --manifest-path examples/Cargo.toml --all-targets --all-features
+          cd ./examples/
+          cargo check --all-targets --all-features
 
-      - name: Run cargo check on RSP
+      - name: Run cargo clippy
         run: |
-          cd examples/rsp/script
-          RUSTFLAGS="-Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native" \
-          cargo check --all-targets --all-features
+          cd ./examples/
+          cargo clippy --all-targets --all-features -- -D warnings -A incomplete-features
 
   cli:
     name: CLI