Skip to content

Commit

Permalink
Test action
Browse files Browse the repository at this point in the history
  • Loading branch information
H00N24 committed Dec 11, 2024
1 parent abfeeb0 commit c559425
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit c559425

Please sign in to comment.