From 03690fd00ab37acda202bc3ba92bffe11c3f18c1 Mon Sep 17 00:00:00 2001
From: Mikhail Volkhov <volhovm.cs@gmail.com>
Date: Wed, 18 Sep 2024 13:32:26 +0100
Subject: [PATCH] Bump

---
 .github/workflows/rust.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index ae4a8b87c8..f7521e0276 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -57,6 +57,10 @@ jobs:
         run: |
           npm install -g markdownlint-cli
 
+      - name: Check submodules don't fail
+        run: |
+          ls /home/runner/work/proof-systems/proof-systems/proof-systems-vendors/csv/
+
       #
       # Doc & Spec
       #
@@ -87,9 +91,6 @@ jobs:
         run: |
           cargo fmt -- --check
 
-      - name: Check submodules don't fail
-        run: |
-          ls /home/runner/work/proof-systems/proof-systems/proof-systems-vendors/csv/
 
       #- name: Lint (clippy)
       #  uses: actions-rs/cargo@v1