Below you will find pages that utilize the taxonomy term “Tchajed”
April 9, 2026
Set up Rocq
Version updated for https://github.com/tchajed/setup-rocq to version v1.7.3.
This action is used across all versions by 1 repositories. Action Type This is a Node action using Node version 24.
Go to the GitHub Marketplace to find the latest changes.
Action Summary The setup-rocq GitHub Action automates the installation of the Rocq proof assistant using opam, with support for caching opam dependencies to improve efficiency. It simplifies the setup process for projects that rely on Rocq by allowing users to specify the desired version (e.g., latest, development, or weekly builds) and manage additional opam repositories. This action streamlines dependency management and ensures consistent environments for CI workflows.