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>
Wed, 31 May 2023 11:22:03 +0000 (13:22 +0200)
commit203cc0a7ef0bbf3b5a19db3caa96e91963ec154c
tree3ad84299726636be1d3fb524b35b769578968152
parent6321361c6b13a37b0cfa279a51a0cf8239a7852c
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>
.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