From 44db1d691ac01a3f4b3c5189a8a0ccd77fe986fe Mon Sep 17 00:00:00 2001
From: lukas <lukas.harat@protonmail.com>
Date: Thu, 27 Aug 2026 22:16:48 +0200
Subject: [PATCH] wip

---
 .gitea/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml
index a91063b..9596f55 100644
--- a/.gitea/workflows/ci.yml
+++ b/.gitea/workflows/ci.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - proof
   workflow_dispatch:
 
 env: