From f88bb968c100b522e750e2d8dcce751fe8247e6b Mon Sep 17 00:00:00 2001
From: Li-yao Xia <lysxia@gmail.com>
Date: Sun, 28 Dec 2025 11:19:02 +0100
Subject: [PATCH 1/2] ci: Update FreeBSD version

---
 .cirrus.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.cirrus.yml b/.cirrus.yml
index 22660d8b..84455433 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -1,7 +1,7 @@
 task:
   name: FreeBSD
   freebsd_instance:
-    image_family: freebsd-14-2
+    image_family: freebsd-14-3
   install_script:
     - pkg install -y git gmake
     - curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_NONINTERACTIVE=1 BOOTSTRAP_HASKELL_INSTALL_NO_STACK=1 sh

From fef1e1746bc203e7056eb944f77169e98ae51291 Mon Sep 17 00:00:00 2001
From: Li-yao Xia <lysxia@gmail.com>
Date: Mon, 29 Dec 2025 10:37:10 +0100
Subject: [PATCH 2/2] ci: OpenBSD: Use /home partition to not run out of space

---
 .cirrus.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.cirrus.yml b/.cirrus.yml
index 84455433..d325b625 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -18,7 +18,11 @@ task:
     platform: openbsd
   install_script: pkg_add ghc cabal-install git
   script:
-    - export CABAL_DIR=/tmp/.cabal
+    # OpenBSD image has separate /home partition, / is small
+    # as we run everything as root, we run out space
+    # we hack around making cabal write its stuff in /home
+    - mkdir -p /home/cabal
+    - ln -s /home/cabal $HOME/.cabal
     - cabal update
     # For some reason the job fails with -O2 optimization level,
     # probably because of lack of disk space.