GitHub repository: Certora/certora-run-action
Primary language: Shell
Description: Certora Run GitHub Action