hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

remember to actually output the compilation dir

Browse Source
This commit is contained in:
erik-krogh
2023-02-20 15:32:50 +01:00
parent efc75e02cc
commit f6fdf45359
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
.github/actions/cache-query-compilation/action.yml vendored
View File

@@ -9,7 +9,7 @@ inputs:
outputs: outputs:
cache-dir: cache-dir:
description: "The directory where the cache was stored" description: "The directory where the cache was stored"
value: ${{ steps.fill-compilation-dir.outputs.compdir }} value: ${{ steps.output-compilation-dir.outputs.compdir }}
runs: runs:
using: composite using: composite
@@ -42,7 +42,15 @@ runs:
restore-keys: | # restore the latest cache if the exact cache is unavailable, to speed up compilation. restore-keys: | # restore the latest cache if the exact cache is unavailable, to speed up compilation.
codeql-compile-${{ inputs.key }}-${{ github.ref_name }}- codeql-compile-${{ inputs.key }}-${{ github.ref_name }}-
codeql-compile-${{ inputs.key }}-main- codeql-compile-${{ inputs.key }}-main-
- name: Output-compilationdir
id: output-compilation-dir
shell: bash
run: |
echo "compdir=${COMBINED_CACHE_DIR}" >> $GITHUB_OUTPUT
env:
COMBINED_CACHE_DIR: ${{ runner.temp }}/compilation-dir
- name: Fill compilation cache directory - name: Fill compilation cache directory
id: fill-compilation-dir
uses: actions/github-script@v6 uses: actions/github-script@v6
env: env:
COMBINED_CACHE_DIR: ${{ runner.temp }}/compilation-dir COMBINED_CACHE_DIR: ${{ runner.temp }}/compilation-dir