From 7bb9e617eaf1e19437304e6979ad07cbde1a2272 Mon Sep 17 00:00:00 2001
From: Samuel Hym <samuel.hym@rustyne.lautre.net>
Date: Mon, 22 Apr 2024 16:18:13 +0200
Subject: [PATCH] TMP CI: Pin a branch for Solo5 on FreeBSD

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

diff --git a/.cirrus.yml b/.cirrus.yml
index 558a66b9..3740ff3a 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -19,6 +19,7 @@ freebsd_task:
   setup_script:
     - opam update
     - opam install dune
+    - opam pin add -n solo5 'https://github.com/shym/solo5.git#freebsd-stdatomic'
     - opam pin add -n -t .
     - opam depext -yt ocaml-solo5
     - opam install -t ocaml-solo5 --deps-only