test

tweag · Oct 17, 2024 · d19ce10 · d19ce10
1 parent 21f7d16
commit d19ce10
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/codeql-cli.yaml b/.github/workflows/codeql-cli.yaml
@@ -22,6 +22,9 @@ jobs:
         wget https://github.com/github/codeql-cli-binaries/releases/download/v${CODEQL_VERSION}/codeql-linux64.zip
         unzip codeql-linux64.zip
         sudo mv codeql /usr/local/bin/
+
+        echo "/usr/local/bin/codeql" >> $GITHUB_PATH
+
         echo "CodeQL installed"
 
     - name: Initialize CodeQL database