Skip to content

Commit

Permalink
Revert release rule.
Browse files Browse the repository at this point in the history
  • Loading branch information
@jwintz @gares
jwintz authored and gares committed Oct 18, 2022
1 parent d1dbbb4 commit 63e20b4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ clean:
rm -rf docs/build

release: doc-publish
dune-release publish distrib elpi
dune-release -p elpi

# testing
tests:
Expand Down

0 comments on commit 63e20b4

Please sign in to comment.