From ce5fa260f401528c8673132bfc85efbab02a4fa1 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Fri, 26 Jul 2024 09:30:38 +0200
Subject: Build only after pushing to a branch

---
 .gitea/deploy.awk | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitea/deploy.awk

(limited to '.gitea/deploy.awk')

diff --git a/.gitea/deploy.awk b/.gitea/deploy.awk
new file mode 100644
index 0000000..ed542f0
--- /dev/null
+++ b/.gitea/deploy.awk
@@ -0,0 +1,3 @@
+END {
+    system("cabal upload --username belka --password "ENVIRON["HACKAGE_PASSWORD"]" "$0)
+}
-- 
cgit v1.2.3