From a090a5d00ceae40369451a58f9a0384bb94e8ff6 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Mon, 1 Jun 2026 10:28:29 +0200 Subject: Remove actions --- .gitea/deploy.awk | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .gitea/deploy.awk (limited to '.gitea/deploy.awk') diff --git a/.gitea/deploy.awk b/.gitea/deploy.awk deleted file mode 100644 index ed542f0..0000000 --- a/.gitea/deploy.awk +++ /dev/null @@ -1,3 +0,0 @@ -END { - system("cabal upload --username belka --password "ENVIRON["HACKAGE_PASSWORD"]" "$0) -} -- cgit v1.2.3