Update CI

Signed-off-by: Alberto Tudela <ajtudela@gmail.com>
grupo-avispa · Oct 15, 2024 · ae319cd · ae319cd
1 parent 3d4a62c
commit ae319cd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -44,6 +44,8 @@ jobs:
         with:
           path: ${{ env.MIRA_PATH }}
           key: mira-${{ runner.os }}-ubuntu-22.04
+      - name: Check MIRA cache
+        run: ls -la ${{ env.MIRA_PATH }}
       - name: Checkout Repository
         uses: actions/checkout@v4
       - name: Cache