From 1b2e40aae86f7d3ad3d8cb4392ec47d4171a6414 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edwin=20T=C3=B6r=C3=B6k?= Date: Thu, 25 Apr 2024 23:05:40 +0100 Subject: [PATCH] trim --- .github/workflows/codechecker.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/codechecker.yml b/.github/workflows/codechecker.yml index 7dfc30f599..e099cafef8 100644 --- a/.github/workflows/codechecker.yml +++ b/.github/workflows/codechecker.yml @@ -31,6 +31,9 @@ jobs: - name: Generate compile_commands.json run: opam exec -- dune rules | opam exec -- dune-compiledb + - name: Trim dune cache + run: dune cache trim --size=2GiB + - name: Fixup paths run: | sed -e 's/"directory".*/"directory": ".",/' cmds.json