Fix permission for push CI

dedis · Jun 6, 2024 · 2bf631f · 2bf631f
1 parent 109f9e6
commit 2bf631f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -34,7 +34,7 @@ jobs:
         exit 1
 
   test:
-    needs: [permission]
+    if: ${{ github.event_name == 'push' || (github.event_name == 'pull_request_target' && contains(github.event.pull_request.labels.*.name, 'safe PR')) }}
     strategy:
       matrix:
         os: [windows-latest, ubuntu-latest, macos-latest]