[ci] run external checks only on PRs

EasyCrypt · Jun 16, 2023 · 6103f69 · 6103f69
1 parent e8dad30
commit 6103f69
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -79,6 +79,10 @@ jobs:
         if-no-files-found: ignore
 
   external:
+    on:
+      pull_request_target:
+        branches:
+        - 'main'
     name: Check EasyCrypt External Projects
     needs: compile-opam
     runs-on: ubuntu-20.04