Github cache is immutable. It's useful for caching static dependencies like pip, but not for dynamic caches like ccache. It has a 0% hit rate and only adds overhead at the moment. To be revisited when github caching improves.