Re: [PATCH] ci: fix ccache for Ubuntu 22.04

On Thu, Mar 6, 2025 at 3:34 PM David Marchand wrote: > > By default (and if no $HOME/.ccache directory exists), Ubuntu 22.04 ccache > stores its data in $HOME/.cache/ccache. > As a result, since the switch to Ubuntu 22.04, ccache has not been > functional. > > Set the ccache directory to the locat

[PATCH] ci: fix ccache for Ubuntu 22.04

By default (and if no $HOME/.ccache directory exists), Ubuntu 22.04 ccache stores its data in $HOME/.cache/ccache. As a result, since the switch to Ubuntu 22.04, ccache has not been functional. Set the ccache directory to the location cached in GHA. Note: ccache is working with the Fedora contain