fix

edwintorok · Apr 25, 2024 · b5ee304 · b5ee304
1 parent 2715f30
commit b5ee304
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 7 deletions.
diff --git a/.github/workflows/codechecker.yml b/.github/workflows/codechecker.yml
@@ -59,17 +59,15 @@ jobs:
         shell: bash
         run: report-converter "codechecker_results" --type cppcheck --output codechecker.sarif --export sarif
 
-      - name: fix conversion bugs
-        shell: bash
-        run: sed -e 's/vesion/version/' <codechecker.sarif >codechecker.fixed.sarif
-
       - name: Upload CodeChecker SARIF report
         uses: actions/upload-artifact@v4
         with:
           name: codechecker_sarif
-          path: |
-            codechecker.sarif
-            codechecker.fixed.sarif
+          path: codechecker.sarif
+
+      - name: fix conversion bugs
+        shell: bash
+        run: for i in codechecker.sarif/*; do sed -e 's/vesion/version/' -i $i; done
 
       - name: Upload SARIF report
         uses: github/codeql-action/upload-sarif@v3

diff --git a/.github/workflows/generate-and-build-sdks.yml b/.github/workflows/generate-and-build-sdks.yml
@@ -42,6 +42,9 @@ jobs:
           name: SDK_Source_PowerShell
           path: _build/install/default/xapi/sdk/powershell/*
 
+      - name: Trim dune cache
+        run: dune cache trim --size=2GiB
+
   build-c-sdk:
     name: Build C SDK
     runs-on: ubuntu-latest

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -49,3 +49,6 @@ jobs:
 
       - name: Check disk space
         run: df -h || true
+
+      - name: Trim dune cache
+        run: dune cache trim --size=2GiB