TMP CI: Pin a branch for Solo5 on FreeBSD

mirage · Apr 22, 2024 · 7bb9e61 · 7bb9e61
1 parent 577a15f
commit 7bb9e61
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