fix: try avoiding double CI runs

Author: Pfeil

.github/workflows/gradle.yml

@@ -9,7 +9,7 @@ name: Build & Tests
 
 on:
   push:
-    branches: [ main, development ]
+    branches: [ main ]
   pull_request:
     branches: [ main, development ]
   workflow_dispatch:
@@ -18,6 +18,8 @@ env:
   COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}
 
 jobs:
+  # avoid double CI runs on push and PR, from https://github.com/orgs/community/discussions/57827
+  if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
   build:
     strategy:
       matrix: