From cc11efb3aee4ef1b83ea53fc74b6707fa07dc88d Mon Sep 17 00:00:00 2001
From: Lars Bogner <upyxo@student.kit.edu>
Date: Fri, 28 Aug 2026 13:08:25 +0200
Subject: [PATCH] ci: fix pull_request trigger not registering
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

A bare "pull_request:" key parses to null in YAML, which the runner
apparently doesn't treat as "trigger with defaults" the way an empty
mapping does — the open PR for this branch got no CI run at all.
---
 .gitea/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml
index 34b4d17..2177252 100644
--- a/.gitea/workflows/ci.yml
+++ b/.gitea/workflows/ci.yml
@@ -4,7 +4,7 @@ name: CI
   push:
     branches: ["master"]
     tags: ["**"]
-  pull_request:
+  pull_request: {}
 
 env:
   UV_CACHE_DIR: /uv-cache