[Feat] View Call Proofs

.github/workflows/main.yml

@@ -117,6 +117,42 @@ jobs:
         working-directory: contracts
       - run: sccache --show-stats
 
+  examples:
+    runs-on: ubuntu-latest
+    steps:
+      # This is a workaround from: https://github.com/actions/checkout/issues/590#issuecomment-970586842
+      - run: "git checkout -f $(git -c user.name=x -c user.email=x@x commit-tree $(git hash-object -t tree /dev/null) < /dev/null) || :"
+      - uses: actions/checkout@v4
+        with:
+          submodules: recursive
+      - uses: risc0/risc0/.github/actions/rustup@release-0.21
+      - uses: risc0/foundry-toolchain@2fe7e70b520f62368a0e3c464f997df07ede420f
+        with:
+          version: nightly-09fe3e041369a816365a020f715ad6f94dbce9f2
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 18
+      - name: Install Ganache
+        run: npm install ganache --global
+      - uses: risc0/risc0/.github/actions/sccache@release-0.21
+        with:
+          key: Linux-default
+      - run: cargo install --force --locked cargo-risczero@$RISC0_CRATE_VERSION
+      - run: cargo risczero install --version $RISC0_TOOLCHAIN_VERSION
+      - name: build erc20
+        run: cargo build
+        working-directory: examples/erc20
+      - name: build erc20-Counter
+        run: cargo build
+        working-directory: examples/erc20-counter
+      - name: test erc20-Counter
+        run: ./test-local-deployment.sh
+        env:
+          BONSAI_API_URL: ${{ secrets.BONSAI_API_URL }}
+          BONSAI_API_KEY: ${{ secrets.BONSAI_API_KEY }}
+        working-directory: examples/erc20-counter
+      - run: sccache --show-stats
+
   doc:
     runs-on: [self-hosted, prod, macOS, cpu]
     steps: