From 9122b536f61a8fdcb8132ff1619a0183278145d4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20Fita?=
 <4925040+michalfita@users.noreply.github.com>
Date: Sun, 17 Sep 2023 12:45:14 +0100
Subject: [PATCH] [Fixes #62] Push trigger is enough to appear in PRs

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f9536f7..9dda64b 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,5 +1,5 @@
 name: HAL
-on: [push, pull_request]
+on: [push]
 
 env:
   RUSTDOCFLAGS: -D warnings