Skip to content

Commit

Permalink
fix .yml
Browse files Browse the repository at this point in the history
  • Loading branch information
nisnislevi committed May 27, 2024
1 parent 33dcf1b commit d711fb3
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/certora.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,12 @@ on:
branches:
- main
- certora
- ccip-gho
pull_request:
branches:
- main
- certora
- ccip-gho

workflow_dispatch:

Expand Down

0 comments on commit d711fb3

Please sign in to comment.