caching everything coq/rocq

No pipelines have been run yet.