From 4df7f5701a2c47c46bf5394f544ca5fdf4d8bec4 Mon Sep 17 00:00:00 2001
From: Silthus <755327+Silthus@users.noreply.github.com>
Date: Thu, 25 Jun 2020 19:54:25 +0200
Subject: [PATCH] fix(build): only run once on PR from same repo

---
 .github/workflows/gradle.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
index 03acb63..74ae70e 100644
--- a/.github/workflows/gradle.yml
+++ b/.github/workflows/gradle.yml
@@ -4,6 +4,10 @@ jobs:
   build:
 
     runs-on: ubuntu-18.04
+    # We want to run on external PRs, but not on our own internal PRs as they'll be run
+    # by the push to the branch.
+    if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
+
 
     steps:
       - name: Set up JDK 8