TMP CI: Pin a branch for Solo5 on FreeBSD

mirage · May 6, 2024 · 3cafacd · 3cafacd
1 parent 16a518d
commit 3cafacd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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