These are temporarily disabled until we are confident that the setup caching is enough to run them on paid runners without wasting CI minutes. See also [on Notion](https://app.notion.com/p/ce-labs/GH-CI-for-Proofs-Private-Repos-39012bb4875c8078960cda46e20b5729).
These are temporarily disabled until we are confident that the setup caching is enough to run them on paid runners without wasting CI minutes.
See also on Notion.