From e0bc795735bd437cb073e92bc97c74d0ee436cc3 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 18 Sep 2023 10:52:02 +0200
Subject: [PATCH] further CI fixes: require alcotest 1.2.0 (for check'),
 disable formatting (no .ocamlformat)

---
 builder-web.opam | 2 +-
 dune-project     | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/builder-web.opam b/builder-web.opam
index fed3f7a..6ee4de6 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -50,7 +50,7 @@ depends: [
   "owee"
   "solo5-elftool" {>= "0.3.0"}
   "decompress" {>= "1.5.0"}
-  "alcotest" {with-test}
+  "alcotest" {>= "1.2.0" & with-test}
   "ppx_deriving" {with-test}
   "ppx_deriving_yojson" {with-test}
   "yojson" {with-test}
diff --git a/dune-project b/dune-project
index ad8a384..05dc447 100644
--- a/dune-project
+++ b/dune-project
@@ -1,2 +1,3 @@
 (lang dune 2.7)
 (name builder-web)
+(formatting disabled)