diff --git a/README.md b/README.md index c00da86..b2e9c43 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,8 @@ This repostory contains a reusable GitHub Action workflow for running Certora Prover in your GitHub Actions workflows. +Test. + ## Usage To use this action, add the following to your GitHub Actions workflow: