fix: disable certora for pull request runs as it will fail anyways

aave-dao · Nov 14, 2024 · 0020580 · 0020580
1 parent 9b587cc
commit 0020580
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/certora-stata.yml b/.github/workflows/certora-stata.yml
@@ -13,7 +13,9 @@ on:
 jobs:
   verify:
     runs-on: ubuntu-latest
-
+    if:
+      github.event.pull_request.head.repo.full_name == github.repository || (github.event_name == 'push' &&
+      github.ref == format('refs/heads/{0}', github.event.repository.default_branch))
     steps:
       - uses: actions/checkout@v2
         with: