Skip to content

Commit

Permalink
Update release workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
@dhil
dhil committed May 14, 2024
1 parent a268bb0 commit 40826d1
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 @@ -16,7 +16,7 @@ uninstall:

.PHONY: release
release:
dune-release tag v1.0.2
dune-release tag v1.0.3
dune-release distrib
dune-release publish
dune-release opam pkg
Expand Down

0 comments on commit 40826d1

Please sign in to comment.