v1.1.0

What's Changed

• Using first solidity version as default by @H00N24 in #17

Full Changelog: v1.0.2...v1.1.0

v1.0.2

What's Changed

• Fix certora-cli-alpha-master Installation by @H00N24 in #16

Full Changelog: v1.0.1...v1.0.2

v1.0.1

What's Changed

• Fix cli version inputs by @ozcodes in #14

New Contributors

• @ozcodes made their first contribution in #14

Full Changelog: v1.0.0...v1.0.1

v1.0.0

Release Notes - Version 1.0.0

Overview

We are excited to announce the initial release of the Certora Run GitHub Action, version 1.0.0. This action allows you to run Certora Prover on your smart contracts in parallel and receive the results as a comment on the pull request.

Features

• Parallel Execution: Run Certora Prover on multiple configurations in parallel.
• GitHub Integration: Automatically comment on pull requests with the results of the Certora Prover runs.
• Solidity Compiler Support: Download and use multiple versions of the Solidity compiler.
• Custom Configurations: Specify multiple configuration files and additional options for each configuration.
• Caching: Cache Solidity compiler binaries and certora-cli dependencies between runs to speed up the process.
• Java Installation: Optionally install Java for type checking.
• Compilation Steps Only: Option to run only the compilation steps without sending a verification request to the cloud.

To start install our Certora Run Application and add this action to your CI.