From 87cb3fd59fc25d5197e13e485cd5788cccaa5ef0 Mon Sep 17 00:00:00 2001 From: Arthur Baars Date: Fri, 17 Feb 2023 14:58:19 +0100 Subject: [PATCH] Update .github/workflows/compile-queries.yml Co-authored-by: Erik Krogh Kristensen --- .github/workflows/compile-queries.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/compile-queries.yml b/.github/workflows/compile-queries.yml index f8cbe6f552c..b5a67059322 100644 --- a/.github/workflows/compile-queries.yml +++ b/.github/workflows/compile-queries.yml @@ -24,7 +24,7 @@ jobs: with: key: all-queries - name: check formatting - run: find */ql -type f \( -name "*.qll" -o -name "*.ql" \) -print0 | xargs -0 codeql query format -q --check-only + run: find */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' }}