🔧 GitHub action condition for push and pull_request

This prevents the checks from being executed twice for internal pull requests.

Author: veit

.github/workflows/pre-commit.yml

@@ -4,13 +4,18 @@
 
 name: pre-commit
 
-on:
-  pull_request:
-  push:
-    branches: [main]
+on: [push, pull_request]
 
 jobs:
   pre-commit:
+    # External pull requests should be checked, but not our own internal pull
+    # requests again, as these are already checked by the push on the branch.
+    # Without this if condition, the checks would be performed twice, as
+    # internal pull requests correspond to both the push and pull_request
+    # events.
+    if:
+      github.event_name == 'push' ||
+      github.event.pull_request.head.repo.full_name != github.repository
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4