SRComp Validate Action

Version updated for PeterJCLaw/srcomp-validate-action to version v0.7.

• This action is used across all versions by 3 repositories.

Go to the GitHub Marketplace to find the latest changes.

Release notes

Now supports testing SRComp Scorer integrations too.

• PeterJCLaw
• GitHub Actions