Skip to content

Commit

Permalink
update makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
@jchavarri
jchavarri committed Oct 31, 2023
1 parent e2993d1 commit d379e47
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -62,3 +62,9 @@ format-check: ## Checks if format is correct
build-playground: ## Builds the playground
$(DUNE) build @playground-assets
cd playground && yarn && yarn build

.PHONY: move-v2.1.0-tag
move-v2.1.0-tag: ## Moves the v2.1.0 tag to the latest commit, useful to publish the vx docs
git push origin :refs/tags/v2.1.0
git tag -fa v2.1.0
git push origin --tags

0 comments on commit d379e47

Please sign in to comment.