From 6dcabbcf5ff9cc1381b7953d8d8b608216cfe484 Mon Sep 17 00:00:00 2001
From: Weston Schmidt <weston_schmidt@alumni.purdue.edu>
Date: Fri, 1 Dec 2023 09:31:00 -0800
Subject: [PATCH] Use the workflow from the upstream parodus repo.

---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index fcd7071..f8a0b5b 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -4,7 +4,7 @@
 name: CI
 
 on:
-  pull_request:
+  pull_request_target:
   push:
     paths-ignore:
       - 'AUTHORS'