Skip to content
Permalink
Browse files

Fix the release process.

  • Loading branch information...
gildor478 committed Sep 25, 2019
1 parent 542ed7a commit 3f01ad6fbb04c9a1919307fd5fcea540febdf48f
Showing with 1 addition and 1 deletion.
  1. +1 −1 Makefile
@@ -93,7 +93,7 @@ deploy: doc test
dune-release distrib --skip-tests
dune-release publish
dune-release opam pkg
dune-release opma publish
dune-release opam submit

.PHONY: deploy

0 comments on commit 3f01ad6

Please sign in to comment.
You can’t perform that action at this time.