From 2c5ec62b8059a47dfb1aa7401f946af25a7f6220 Mon Sep 17 00:00:00 2001
From: Anders Fugmann <anders@fugmann.net>
Date: Sat, 1 Jun 2024 11:59:52 +0200
Subject: [PATCH] Avoid double runs on pushes

---
 .github/workflows/workflow.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 1c2ecd8..f38d63c 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -1,7 +1,6 @@
 name: Main workflow
 
 on:
-  - pull_request
   - push
   - workflow_dispatch