From 404c7c0dfeabe2827a59db8526820b766ca54021 Mon Sep 17 00:00:00 2001 From: Benoit Pierre Date: Wed, 29 May 2024 20:15:30 +0200 Subject: [PATCH] ci: update build directory trimming before caching --- .circleci/config.yml | 2 +- .github/workflows/build.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index f3fcb10ad..408c13c09 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -85,7 +85,7 @@ jobs: command: | set -x # Trim the build directory. - rm -rf base/build/thirdparty + rm -rf base/build/{cmake,staging,thirdparty} ccache --cleanup >/dev/null ccache --show-stats - save_cache: diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index f6c884696..75de32770 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -143,7 +143,7 @@ jobs: run: | set -x # Trim the build directory. - rm -rf base/build/thirdparty + rm -rf base/build/{cmake,staging,thirdparty} ccache --cleanup >/dev/null ccache --show-stats --verbose