From dc0bb7957db01b4f81ffdecb55e9509fa646d72c Mon Sep 17 00:00:00 2001
From: pcw109550 <pcw109550@gmail.com>
Date: Wed, 12 Jun 2024 17:21:05 -0400
Subject: [PATCH] Check bindings at CI

---
 .github/workflows/ci.yaml | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 39d8a569..5af3dc6b 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -104,3 +104,30 @@ jobs:
       - name: Run op-program
         run: tar -xzvf ./preimages.tar.gz && ./local_cmd.sh
         working-directory: tests/op-program-test
+
+  rvgo-abigen:
+    runs-on: ubuntu-latest
+    timeout-minutes: 20
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: Install justfile
+        uses: extractions/setup-just@v2
+        with:
+          just-version: '1.28.0'
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+      - name: Install abigen
+        run: |
+          wget https://gethstore.blob.core.windows.net/builds/geth-alltools-linux-amd64-1.13.14-2bd6bd01.tar.gz
+          echo "76a04354dba9980fcbc35bece2957b30 geth-alltools-linux-amd64-1.13.14-2bd6bd01.tar.gz" | md5sum -c -
+          tar -xvf geth-alltools-linux-amd64-1.13.14-2bd6bd01.tar.gz
+          sudo mv geth-alltools-linux-amd64-1.13.14-2bd6bd01/abigen /usr/local/bin/
+      - name: Build rvsol
+        run: forge build
+        working-directory: rvsol
+      - name: Check bindings
+        run: |
+          make gen-bindings
+          git diff --exit-code bindings
+        working-directory: rvgo