fact_registry test

.github/workflows/tests.yml

@@ -5,7 +5,7 @@ on:
   pull_request:
 
 jobs:
-  formatting-and-testing:
+  verifier-formatting-and-testing:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
@@ -20,5 +20,20 @@ jobs:
       - name: Run tests
         run: scarb test
 
-      - name: Build fact registry
-        run: (cd fact_registry && scarb build)
+  fact-registry-formatting-and-testing:
+      runs-on: ubuntu-latest
+      steps:
+        - name: Checkout repository
+          uses: actions/checkout@v3
+
+        - name: Setup Scarb
+          uses: software-mansion/setup-scarb@v1
+
+        - name: Setup Starknet Foundry
+          uses: foundry-rs/setup-snfoundry@v3
+
+        - name: Format code
+          run: cd fact_registry && scarb fmt --check
+
+        - name: Run tests
+          run: cd fact_registry && scarb test

fact_registry/Scarb.toml

@@ -6,8 +6,14 @@ edition = "2023_10"
 # See more keys and their definitions at https://docs.swmansion.com/scarb/docs/reference/manifest.html
 
 [dependencies]
+starknet = "2.6.3"
 cairo_verifier = { path = ".." }
+
+[dev-dependencies]
 snforge_std = { git = "https://github.com/foundry-rs/starknet-foundry", tag = "v0.24.0" }
 
 [[target.starknet-contract]]
-casm = true
+sierra = true
+
+[scripts]
+test = "snforge test"