robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

further CI fixes: require alcotest 1.2.0 (for check'), disable formatting (no .ocamlformat)

Browse source
This commit is contained in:
Hannes Mehnert 2023-09-18 10:52:02 +02:00
parent 48ce55e73e
commit e0bc795735
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
builder-web.opam
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}

1
dune-project
View file

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