CI: build: add job to remove previous ccache cache if already exist
authorChristian Marangi <ansuelsmth@gmail.com>
Sun, 28 May 2023 00:55:26 +0000 (02:55 +0200)
committerChristian Marangi <ansuelsmth@gmail.com>
Tue, 24 Oct 2023 15:12:03 +0000 (17:12 +0200)
commitfad08e8e23bc1db8224a7f34c5f3775b59cfb577
tree0cd010c11be5d143c1ee8c61d60e8a004a4ad38d
parentc5441d24d9c51e597fc01cdca860f6fe5f4794d9
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 <ansuelsmth@gmail.com>
(cherry picked from commit 203cc0a7ef0bbf3b5a19db3caa96e91963ec154c)
.github/workflows/build.yml
.github/workflows/coverity.yml
.github/workflows/kernel.yml
.github/workflows/label-kernel.yml
.github/workflows/label-target.yml
.github/workflows/packages.yml
.github/workflows/push-containers.yml
.github/workflows/toolchain.yml