Improve effectiveness of ccache
Currently, the ccache coverage seems low:
(picked from a random job)
With the currently unused AWS-based ccache bucket, run some experiments to investigate:
- how long naive jobs take
- how fast a rerun can be and whether the cache is used as much as possible
- whether the size needs to be increased
- whether the segmentation of the separate tarballs on S3 across jobs (variants?) needs to be increased
Edited by Michael Hofmann