Skip to content
Snippets Groups Projects
Commit 59dec9bb authored by erwan's avatar erwan
Browse files

CI: can't install with rdbg <= 1.184

parent 4e5bcd7a
No related branches found
No related tags found
No related merge requests found
Pipeline #28382 failed
...@@ -18,7 +18,7 @@ depends: [ ...@@ -18,7 +18,7 @@ depends: [
"lutils" {>= "1.49"} "lutils" {>= "1.49"}
"dune" "dune"
"ocamlfind" "ocamlfind"
"rdbg" {>= "1.184"} "rdbg" {> "1.184"}
] ]
build: [ build: [
[make "build"] [make "build"]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment