Merge pull request 'further CI fixes: require alcotest 1.2.0 (for check'), disable formatting (no .ocamlformat)' (#175) from lower-bound-fix into main

Reviewed-on: #175
This commit is contained in:
Reynir Björnsson 2023-09-18 09:08:39 +00:00
commit db115ad140
2 changed files with 2 additions and 1 deletions

View file

@ -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}

View file

@ -1,2 +1,3 @@
(lang dune 2.7)
(name builder-web)
(formatting disabled)