Commit e5213d02 authored by erwan's avatar erwan
Browse files

ci: this one is the good one (-p was the culprit)

parent 9467bb19
......@@ -34,7 +34,7 @@ depends: [
"rdbg" {>= "1.196.9"}
build: ["dune" "build" "-p" name "-j" jobs]
build: ["dune" "build" "@install" "-j" jobs]
install: [make "install"]
"The last version can be obtained via (opam repo add)"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment