From da3cfade6a056658fa87d8fe9806bf32b88718d8 Mon Sep 17 00:00:00 2001
From: Matthias Jung <m.jung@uni-wuerzburg.de>
Date: Mon, 23 Feb 2026 00:10:42 +0100
Subject: [PATCH] fix: add zip also to build.py

---
 build.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.py b/build.py
index 5caae9f..7646086 100644
--- a/build.py
+++ b/build.py
@@ -14,3 +14,4 @@ bd.build_edition("EA")
 bd.build_edition("NEA")
 bd.build_assets()
 bd.build_solutions()
+bd.build_zip()