From 429e57118326643683392e786dc9c0d7268fe703 Mon Sep 17 00:00:00 2001
From: Michael M <MichaelM@certora.com>
Date: Tue, 17 Sep 2024 15:03:18 +0300
Subject: [PATCH] chaning yaml

---
 .github/workflows/certora-stata.yml | 13 +++++++++++--
 lib/solidity-utils                  |  2 +-
 2 files changed, 12 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/certora-stata.yml b/.github/workflows/certora-stata.yml
index b8b1db3a..c56e0c7a 100644
--- a/.github/workflows/certora-stata.yml
+++ b/.github/workflows/certora-stata.yml
@@ -5,19 +5,28 @@ on:
     branches:
       - main
   pull_request_target:
-    branches:
-      - main
+    types: [opened, synchronize]
 
   workflow_dispatch:
 
 jobs:
   verify:
     runs-on: ubuntu-latest
+    
+    # Only run if the base branch is 'main'
+    if: github.event.pull_request.base.ref == 'main'
 
     steps:
       - uses: actions/checkout@v2
         with:
           submodules: recursive
+          ref: ${{ github.event.pull_request.base.ref }}
+
+    # Checkout the forked code (to test the changes from the PR)
+      - name: Checkout forked code
+        run: |
+          git fetch origin +refs/pull/${{ github.event.pull_request.number }}/merge
+          git checkout -qf FETCH_HEAD
 
       - name: Install python
         uses: actions/setup-python@v2
diff --git a/lib/solidity-utils b/lib/solidity-utils
index a842c363..58c52433 160000
--- a/lib/solidity-utils
+++ b/lib/solidity-utils
@@ -1 +1 @@
-Subproject commit a842c36308e76b8202a46962a6c2d59daceb640a
+Subproject commit 58c52433220656344c3c44f63a5ba38b5edeacec