This GitHub Application is used in combination with our Certora Run Action to provide asynchronous aggregated reports from Certora Prover in your GitHub workflows.

To get started, install this application in your repository and follow the usage instructions in the Certora Run Action.

Permissions:

• Metadata - Read-only - mandatory for all GitHub Applications
• Pull requests - Read & Write - Necessary for adding PR reviews with prover reports.
• Commit statuses - Read & Write - Necessary for adding commit statuses with aggregated results.