build: update 2

VeriFIT · Dec 21, 2024 · be644f1 · be644f1
1 parent 9a5555e
commit be644f1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -32,6 +32,9 @@ jobs:
       #     make release
       #     sudo make install
 
+      - name: Check out repository code
+        uses: actions/checkout@v3
+
       - name: Compile Z3-Noodler release
         run: |
           ls