chore(verifier): extract build into a separate step

.github/workflows/smart-contract-verifier.yml

@@ -23,18 +23,18 @@ defaults:
     working-directory: smart-contract-verifier
 
 jobs:
+  build:
+    name: Checkout and build
+    uses: ./.github/workflows/t_build_tests.yml
+    with:
+      working-directory: smart-contract-verifier
+
   test:
     name: Unit, doc and integration tests
+    needs:
+      - build
     runs-on: ubuntu-latest
     steps:
-      - name: Checkout sources
-        uses: actions/checkout@v4
-
-      - name: Setup
-        uses: ./.github/actions/setup
-        with:
-          working-directory: smart-contract-verifier
-
       - name: Unit tests
         run: RUST_BACKTRACE=1 RUST_LOG=info cargo test --locked --workspace --all-features --lib --bins -- --nocapture
         if: success() || failure()

.github/workflows/t_build_tests.yml

@@ -0,0 +1,24 @@
+name: Checkout and build for testing (reusable)
+
+on:
+  workflow_call:
+    inputs:
+      working-directory:
+        required: true
+        type: string
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Setup
+        uses: ./.github/actions/setup
+        with:
+          working-directory: ${{ inputs.working-directory }}
+
+      - name: Build
+        run: RUST_BACKTRACE=1 cargo build --locked --workspace --all-targets --all-features
+        working-directory: ${{ inputs.working-directory }}