From 203cc0a7ef0bbf3b5a19db3caa96e91963ec154c Mon Sep 17 00:00:00 2001 From: Christian Marangi Date: Sun, 28 May 2023 02:55:26 +0200 Subject: CI: build: add job to remove previous ccache cache if already exist Github Actions cache doesn't permit to overwrite cache if it does already exist. As a trick to refresh and have fresh ccache pool, delete the ccache cache if it does exist with the help of Github REST API. An additional permission is needed to access this API. Add this permittion to each user of the build workflow. Signed-off-by: Christian Marangi --- .github/workflows/coverity.yml | 1 + 1 file changed, 1 insertion(+) (limited to '.github/workflows/coverity.yml') diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 1035545632..363ce3a29a 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -15,6 +15,7 @@ jobs: permissions: contents: read packages: read + actions: write uses: ./.github/workflows/build.yml with: container_name: toolchain -- cgit v1.2.3