v3.0.0

Initial release of version 3. Added display-overhead and fail-fast inputs alongside support for --generate-html-report.

v2.0.0

Initial version 2 release. Added a checkout option which allows the user to toggle whether or not to checkout at the start of the action with a fetch-depth of 2. Also added appropriate error message if a checkout of the correct depth does not occur.

v1.0.1

Displays CPU time and peak memory usage after each run of ESBMC.

v1.0.0

The initial release of the ESBMC action.