PeterJCLaw/srcomp-validate-action (actions): A GitHub Action to validate a compstate.
Keywords: github-actions|srcomp