From 43f82bda8d90f311ad0aff4c0eab654d351e1f74 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <michael.vasseur@vu.nl>
Date: Sun, 2 Jun 2024 14:22:44 +0200
Subject: [PATCH] Use safer option

---
 .github/workflows/build-domjudge-container-PR.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-domjudge-container-PR.yml b/.github/workflows/build-domjudge-container-PR.yml
index 0b138a0..92f55ba 100644
--- a/.github/workflows/build-domjudge-container-PR.yml
+++ b/.github/workflows/build-domjudge-container-PR.yml
@@ -2,7 +2,7 @@ name: 'Build domjudge container (PR)'
 
 on:
   push:
-  pull_request_target:
+  pull_request:
     branches:
       - main