Set up Rocq

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