diff options
| author | Christian Marangi <ansuelsmth@gmail.com> | 2023-05-27 17:25:29 +0200 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-05-31 13:22:03 +0200 |
| commit | 6321361c6b13a37b0cfa279a51a0cf8239a7852c (patch) | |
| tree | a0f7bf83402e357460ae0b46f8440220fb22b1db /.github/workflows/coverity.yml | |
| parent | 457f6b0b9c07772f529a9714a974f3eb74f9b99d (diff) | |
CI: build: split cache ccache in separate restore and save jobs
Split caching ccache in separate restore and save jobs to always refresh
the ccache across different runs. Currently if a key is restored, cache
is not saved resulting in a less useful ccache that benefits from
multiple runs.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
Diffstat (limited to '.github/workflows/coverity.yml')
0 files changed, 0 insertions, 0 deletions