From ee2d2a7aeddfa40e41fc725dc27f4ca2b72ede17 Mon Sep 17 00:00:00 2001
From: Ratan Kaliani <ratankaliani@berkeley.edu>
Date: Thu, 29 Aug 2024 16:15:03 -0700
Subject: [PATCH] pr

---
 .github/workflows/pr.yaml   | 19 +------------------
 contracts/lib/sp1-contracts |  2 +-
 2 files changed, 2 insertions(+), 19 deletions(-)

diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
index 0b3f8ddc..578334b5 100644
--- a/.github/workflows/pr.yaml
+++ b/.github/workflows/pr.yaml
@@ -46,21 +46,4 @@ jobs:
           command: clippy
           args: --all-features --all-targets -- -D warnings -A incomplete-features
         env:
-          CARGO_INCREMENTAL: 1
-
-  examples:
-    name: Examples
-    runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]
-    env:
-      CARGO_NET_GIT_FETCH_WITH_CLI: "true"
-    steps:
-      - name: Checkout sources
-        uses: actions/checkout@v4
-
-      - name: Setup CI
-        uses: ./.github/actions/setup
-
-      - 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
\ No newline at end of file
+          CARGO_INCREMENTAL: 1
\ No newline at end of file
diff --git a/contracts/lib/sp1-contracts b/contracts/lib/sp1-contracts
index 9494bb0d..dd93a993 160000
--- a/contracts/lib/sp1-contracts
+++ b/contracts/lib/sp1-contracts
@@ -1 +1 @@
-Subproject commit 9494bb0ddb1c8c1f561b80d3a95b6d0df5deb6b8
+Subproject commit dd93a9932dd6a627dd5b8f91e668a61fdc6618f5