Version updated for PeterJCLaw/lazy-docker-build-push-action to version v0.1. This action is used across all versions by ? repositories. Go to the GitHub Marketplace to find the latest changes. Release notes This release has a basic outline of the core functionality, however some of the desired behaviours are not yet present (see the README).

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.

Version updated for PeterJCLaw/validate-generated-files to version v1.2. This action is used across all versions by 1 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes Bugfix release Fixes handling of binary files which previously would cause the script to crash.

Version updated for PeterJCLaw/validate-generated-files to version v1.1. This publisher is shown as erified by GitHub. This action is used across all versions by ? repositories. Go to the GitHub Marketplace to find the latest changes. Release notes Bugfix release Fixes a bug where the action assumed the wrong working directory.