Add instruction_check workflow to circleci

.circleci/config.yml

@@ -38,6 +38,12 @@ workflows:
       - prestate-reproducibility:
           version: "1.3.1"
           asterisc-commit: "25feabf"
+  instruction_check:
+    jobs:
+      - build-kona
+      - run-rv64-matching-tool:
+          requires:
+            - build-kona
 
 commands:
   checkout-with-monorepo:
@@ -414,3 +420,42 @@ jobs:
               echo "Prestate did not match expected"
               exit 1
             fi
+
+  build-kona:
+    machine:
+      image: ubuntu-2404:current
+    steps:
+      - run:
+          name: Clone Kona Repository
+          command: |
+            git clone [email protected]:op-rs/kona.git --depth 1
+      - run:
+          name: Install just
+          command: sudo apt update && sudo apt install just
+      - run:
+          name: Build RISCV ELF
+          command: |
+            cd kona
+            just build-asterisc --bin kona --profile release-client-lto
+      - persist_to_workspace:
+          root: /home/circleci/project
+          paths:
+            - kona/target/riscv64imac-unknown-none-elf/release-client-lto
+
+  run-rv64-matching-tool:
+    docker:
+      - image: <<pipeline.parameters.ci_builder_image>>
+    steps:
+      - checkout
+      - attach_workspace:
+          at: .
+      - run:
+          name: install_python_dep
+          command: |
+            pip3 install -r requirements.txt
+          working_directory: tests/rv64-matching-tool
+      - run:
+          name: Run RV64 matching tool
+          command: |
+            python3 matching_tool.py /root/project/kona/target/riscv64imac-unknown-none-elf/release-client-lto/kona ./supported_targets/asterisc-v1.1.2.json
+          working_directory: tests/rv64-matching-tool