CI: Set --ram in compile-queries.yml

github · Nov 21, 2024 · d96dee2 · d96dee2
1 parent 295626d
commit d96dee2
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/compile-queries.yml b/.github/workflows/compile-queries.yml
@@ -22,20 +22,20 @@ jobs:
         uses: ./.github/actions/fetch-codeql
         with:
           channel: 'release'
-      - name: Cache compilation cache
-        id: query-cache
-        uses: ./.github/actions/cache-query-compilation
-        with: 
-          key: all-queries
+      # - name: Cache compilation cache
+      #   id: query-cache
+      #   uses: ./.github/actions/cache-query-compilation
+      #   with: 
+      #     key: all-queries
       - name: check formatting
         run: find shared */ql -type f \( -name "*.qll" -o -name "*.ql" \) -print0 | xargs -0 -n 3000 -P 10 codeql query format -q --check-only
       - name: compile queries - check-only
         # run with --check-only if running in a PR (github.sha != main)
         if : ${{ github.event_name == 'pull_request' }}
         shell: bash
-        run: codeql query compile -q -j0 */ql/{src,examples} --keep-going --warnings=error --check-only --compilation-cache "${{ steps.query-cache.outputs.cache-dir }}" --compilation-cache-size=500
+        run: codeql query compile -j0 */ql/{src,examples} --keep-going --warnings=error --check-only --compilation-cache-size=500 -vvvv
       - name: compile queries - full
         # do full compile if running on main - this populates the cache
         if : ${{ github.event_name != 'pull_request' }}
         shell: bash
-        run: codeql query compile -q -j0 */ql/{src,examples} --keep-going --warnings=error --compilation-cache "${{ steps.query-cache.outputs.cache-dir }}" --compilation-cache-size=500
+        run: codeql query compile -j0 */ql/{src,examples} --keep-going --warnings=error --compilation-cache-size=500 --ram=56000