Debug

esbmc · Nov 4, 2024 · bf0b968 · bf0b968
1 parent b2f0b28
commit bf0b968
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -76,6 +76,9 @@ jobs:
       - 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: