Update

esbmc · Nov 4, 2024 · c2e0b45 · c2e0b45
1 parent bf0b968
commit c2e0b45
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -73,18 +73,18 @@ jobs:
         with:
           python-version: "3.11"
 
-      - name: Install pipenv
-        run: python -m pip install --upgrade pipenv wheel -r requirements.txt
-
-      - name: Debug
-        run: ls
-
       - name: Download Requirements
         uses: actions/download-artifact@v4.1.8
         with:
           name: requirements
           path: .
 
+      - name: Install pipenv
+        run: python -m pip install --upgrade pipenv wheel -r requirements.txt
+
+      - name: Debug
+        run: ls
+
       - id: cache-pipenv
         uses: actions/cache@v1.2.1
         with: