Christian Marangi fad08e8e23 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 203cc0a7ef)		2023-10-24 17:12:03 +02:00
..
ISSUE_TEMPLATE	github: add command for device	2023-01-06 15:28:59 +01:00
workflows	CI: build: add job to remove previous ccache cache if already exist	2023-10-24 17:12:03 +02:00
FUNDING.yml
labeler.yml	CI: labeler: add sifiveu target	2023-06-16 19:47:39 +02:00
pull_request_template