Version updated for https://github.com/tchajed/setup-rocq to version v1.8.0. This action is used across all versions by 2 repositories. Action Type This is a Node action using Node version 24. Go to the GitHub Marketplace to find the latest changes. Action Summary This GitHub Action automates the installation of Rocq using OPAM with caching capabilities to speed up future installations, especially for developers who frequently work on projects that depend on Rocq. It supports specifying a specific version or the latest stable release of Rocq, as well as additional OPAM repositories and customizing which OPAM files are used to generate a cache key.

Version updated for https://github.com/tchajed/setup-rocq to version v1.7.6. This action is used across all versions by 2 repositories. Action Type This is a Node action using Node version 24. Go to the GitHub Marketplace to find the latest changes. Action Summary This GitHub Action automates the installation of Rocq, a theorem prover, with OPAM (OCaml Package Manager). It supports caching opam dependencies to speed up future builds and allows for customizing the version of Rocq installed through its inputs. Additionally, it provides options to specify additional Opam repositories and files used in cache generation.