Remove duplicate from github ci

MarioOpenHWGroup · Feb 26, 2024 · 2b248ed · 2b248ed
1 parent 06b02d3
commit 2b248ed
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,6 +21,8 @@ jobs:
       run: |
           ci/setup.sh
           tar cf tools.tar tools/
+          du -sh tools.tar
+
     - name: Archive production artifacts
       uses: actions/upload-artifact@v3
       with:
@@ -47,9 +49,6 @@ jobs:
       uses: actions/download-artifact@v3
       with:
         name: compiled-tools
-    - uses: actions/checkout@v2
-      with:
-        submodules: recursive
     - name: Run Tests
       run: |
           set -x