chore: remove individual test workspaces (#1597)

succinctlabs · Oct 3, 2024 · 6861f69 · 6861f69
1 parent c1eabe3
commit 6861f69
Show file tree

Hide file tree

Showing 94 changed files with 1,794 additions and 11,643 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -191,6 +191,36 @@ jobs:
           cd ./examples/
           cargo clippy --all-targets --all-features -- -D warnings -A incomplete-features
 
+  tests:
+    name: Tests
+    runs-on: [runs-on, runner=64cpu-linux-x64, "run-id=${{ github.run_id }}"]
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Setup CI
+        uses: ./.github/actions/setup
+
+      - name: Install SP1 toolchain
+        run: |
+          cargo install --locked --path crates/cli
+          cargo prove install-toolchain
+
+      - name: Run cargo fmt
+        run: |
+          cd ./tests/
+          cargo fmt --all -- --check
+
+      - name: Run cargo clippy
+        run: |
+          cd ./tests/
+          cargo clippy --all-targets --all-features -- -D warnings -A incomplete-features
+
+      - name: Build test ELF files
+        run: |
+          cd ./tests/
+          make
+
   cli:
     name: CLI
     runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]