Skip to content

Commit

Permalink
dune subst fix to please linter
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Jul 13, 2023
1 parent 210f423 commit b82b28e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion mutaml.opam
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ tags: [
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
["dune" "subst"] {pinned}
["dune" "subst"] {dev}
]

depends: [
Expand Down

0 comments on commit b82b28e

Please sign in to comment.