testing CI

MichaelMorami · Sep 17, 2024 · 476c8c6 · 476c8c6
1 parent 70b1e2c
commit 476c8c6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/certora-stata.yml b/.github/workflows/certora-stata.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-  pull_request:
+  pull_request_target:
     branches:
       - main
 

diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -5,7 +5,7 @@ concurrency:
   cancel-in-progress: true
 
 on:
-  pull_request:
+  pull_request_target:
     branches:
       - certora
       - main