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: