When/If #46 is merged, CI on this repo can no longer take advantage of ccache because the cache directory wouldn't be saved to GHA cahce nor recovered. Ccache should be re-enabled with a volume/bind to the docker container and https://github.com/actions/cache.
When/If #46 is merged, CI on this repo can no longer take advantage of ccache because the cache directory wouldn't be saved to GHA cahce nor recovered. Ccache should be re-enabled with a volume/bind to the docker container and https://github.com/actions/cache.