Set up Rocq

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