Bump

o1-labs · Sep 18, 2024 · 6e42ad3 · 6e42ad3
1 parent bb83e37
commit 6e42ad3
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -32,7 +32,7 @@ jobs:
       - name: Checkout PR
         uses: actions/[email protected]
         with:
-          submodules: true
+          submodules: recursive
 
       # as action-rs does not seem to be maintained anymore, building from
       # scratch the environment using rustup
@@ -87,10 +87,14 @@ jobs:
         run: |
           cargo fmt -- --check
 
+      - name: Check submodules don't fail
+        run: |
+          ls /home/runner/work/proof-systems/proof-systems/proof-systems-vendors/
+          ls /home/runner/work/proof-systems/proof-systems/proof-systems-vendors/csv/
+
       #- name: Lint (clippy)
       #  uses: actions-rs/cargo@v1
       #  run: |
-      #    ls /home/runner/work/proof-systems/proof-systems/proof-systems-vendors/csv/
       #    clippy --all-features --tests --all-targets --offline -- -D warnings
 
       - name: Run Clippy (beta)