Skip to content

Commit 555119c

Browse files
committed
CI: fix compile_commands.json caching
When the cache for compile_commands.json got reused we didn't install the OCaml compiler, which caused failures in the static analyzer, because it couldn't locate the compiler runtime headers. Do not skip setup-xapi-environment when the cache is reused. This could be optimized to skip installing dune packages (install just the compiler), but for now just install everything to avoid the error. Now when the cache is used we only skip installing/running dune-compiledb. Signed-off-by: Edwin Török <[email protected]>
1 parent 03c1780 commit 555119c

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

.github/workflows/codechecker.yml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,6 @@ jobs:
3535
key: compile_commands.json-v1-${{ hashFiles('**/dune') }}
3636

3737
- name: Setup XenAPI environment
38-
if: steps.cache-cmds.outputs.cache-hit != 'true'
3938
uses: ./.github/workflows/setup-xapi-environment
4039
with:
4140
xapi_version: ${{ env.XAPI_VERSION }}
@@ -47,7 +46,6 @@ jobs:
4746
opam pin add -y dune-compiledb https://github.com/edwintorok/dune-compiledb/releases/download/0.6.0/dune-compiledb-0.6.0.tbz
4847
4948
- name: Trim dune cache
50-
if: steps.cache-cmds.outputs.cache-hit != 'true'
5149
run: opam exec -- dune cache trim --size=2GiB
5250

5351
- name: Generate compile_commands.json

0 commit comments

Comments
 (0)