Version updated for https://github.com/tchajed/setup-rocq to version v1.4.3. This action is used across all versions by 1 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes Improve logging

Version updated for https://github.com/tchajed/setup-rocq to version v1.4.0. This action is used across all versions by 1 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes New feature: dune cache is now supported Enhancement: caches are now smaller, especially rocq weekly

Version updated for https://github.com/tchajed/setup-rocq to version v1.3.1. This action is used across all versions by 1 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes Skip saving an exact cache match

Version updated for https://github.com/tchajed/setup-rocq to version v1.3.0. This action is used across all versions by 1 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes Make caches unique