From 2a544c355a3aaaea6a117c32ff0659de33fa00d1 Mon Sep 17 00:00:00 2001
From: nisnislevi <nissan@certora.com>
Date: Sun, 7 Sep 2025 12:14:09 +0300
Subject: [PATCH] for PR

---
 .github/workflows/certora-basic.yml | 12 ++++++------
 .github/workflows/certora-stata.yml | 12 ++++++------
 2 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml
index 2a632f12..c2e9b27d 100644
--- a/.github/workflows/certora-basic.yml
+++ b/.github/workflows/certora-basic.yml
@@ -7,8 +7,7 @@ concurrency:
 on:
   pull_request:
     branches:
-      - main
-      - certora
+      - '**'
   push:
     branches:
       - main
@@ -18,13 +17,14 @@ 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))
+#    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))
     permissions:
       contents: read
       statuses: write
       pull-requests: write
+      id-token: write
     steps:
       - uses: actions/checkout@v4
         with:
@@ -36,7 +36,7 @@ jobs:
           touch applyHarness.patch
           make munged
 
-      - uses: Certora/certora-run-action@v1
+      - uses: Certora/certora-run-action@v2
         with:
           cli-version: 7.29.1
           configurations: |-
diff --git a/.github/workflows/certora-stata.yml b/.github/workflows/certora-stata.yml
index 285faeaa..214f3e9e 100644
--- a/.github/workflows/certora-stata.yml
+++ b/.github/workflows/certora-stata.yml
@@ -7,8 +7,7 @@ concurrency:
 on:
   pull_request:
     branches:
-      - main
-      - certora
+      - '**'
   push:
     branches:
       - main
@@ -18,13 +17,14 @@ 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))
+#    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))
     permissions:
       contents: read
       statuses: write
       pull-requests: write
+      id-token: write
     steps:
       - uses: actions/checkout@v4
         with:
@@ -36,7 +36,7 @@ jobs:
           touch applyHarness.patch
           make munged
 
-      - uses: Certora/certora-run-action@v1
+      - uses: Certora/certora-run-action@v2
         with:
           cli-version: 7.29.1
           configurations: |-