Skip to content

Commit bc36d97

Browse files
committed
Remove dune pin
1 parent e814640 commit bc36d97

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,7 @@ format-check: ## Checks if format is correct
6969

7070
.PHONY: pin
7171
pin: ## Pin dependencies
72-
opam pin "dune.dev" "git+https://github.com/ocaml/dune.git#3e6cf8979f0bfd0d5cff556aa02e5115725e09cd" -y
72+
echo "Nothing to pin"
7373

7474
.PHONY: create-switch
7575
create-switch: ## Create opam switch

0 commit comments

Comments
 (0)