ci: update dune-project to add menhir dependency
Some checks failed
ci/woodpecker/push/debian Pipeline was successful
ci/woodpecker/push/fedora Pipeline was successful
ci/woodpecker/push/nix Pipeline was successful
ci/woodpecker/push/publish Pipeline failed

This commit is contained in:
2026-02-05 23:12:56 +03:00
parent 2d038279f2
commit b2e3f5703b
2 changed files with 3 additions and 1 deletions

View File

@@ -2,6 +2,7 @@
opam-version: "2.0"
depends: [
"dune" {>= "3.7"}
"menhir"
"odoc" {with-doc}
]
build: [