fix: fix compilation with test_only feature (#84)

* fix: fix compilation with test_only feature

* ci: add job to test script with test_only feature

.github/workflows/ci.yml

@@ -65,8 +65,8 @@ jobs:
       - name: Run cargo clippy
         run: cargo clippy --all-targets -- -D warnings
 
-  simple_proof:
-    name: Execute bash script to generate and verify a proof from a small block
+  simple_proof_regular:
+    name: Execute bash script to generate and verify a proof for a small block.
     runs-on: zero-ci
 
     steps:
@@ -77,3 +77,16 @@ jobs:
         run: |
           pushd tools
           ./simple_test.sh
+
+  simple_proof_witness_only:
+    name: Execute bash script to generate the proof witness for a small block.
+    runs-on: zero-ci
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Run the script
+        run: |
+          pushd tools
+          ./simple_test.sh test_only

prover/src/lib.rs

@@ -112,7 +112,9 @@ impl ProverInput {
 
         // Dummy proof to match expected output type.
         Ok(GeneratedBlockProof {
-            b_height: block_number.as_u64(),
+            b_height: block_number
+                .to_u64()
+                .expect("Block number should fit in a u64"),
             intern: proof_gen::proof_gen::dummy_proof()?,
         })
     }