From 2f370ab9965ace1d6cb647f5e52aca47987c44e4 Mon Sep 17 00:00:00 2001
From: javalsai <jvssxxi@gmail.com>
Date: Fri, 6 Jun 2025 20:13:19 +0200
Subject: [PATCH] fix: workflow runs on PRs (again)

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

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 78c3c1e..3ea5dfc 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -3,7 +3,8 @@ name: Push Checks
 on:
   push:
   pull_request:
-    - opened
+    types:
+      - opened
 
 jobs:
   check-and-build: