chaning yaml

Certora · Sep 17, 2024 · 429e571 · 429e571
1 parent 476c8c6
commit 429e571
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git 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