Use ccache in codecov-coverage-report GitHub action#5909

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:codecov-ccachetautschnig/cbmc:codecov-ccacheCopy head branch name to clipboard