Set up Rocq

Version updated for https://github.com/tchajed/setup-rocq to version v1.5.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: customize the files used for the cache key (typically *.opam).

• tchajed
• GitHub Actions