Use git run id

This commit is contained in:
Matt Godbolt
2021-02-13 15:03:44 -06:00
parent 6eee72f409
commit 85bf61bad3

View File

@@ -87,7 +87,7 @@ dist: export WEBPACK_ARGS=-p
dist: prereqs webpack ## Creates a distribution
echo $(HASH) > out/dist/git_hash
RELEASE_BUILD_NUMBER=$(shell echo $$(( $(GITHUB_RUN_NUMBER) + 7100)))
RELEASE_BUILD_NUMBER=$(shell echo $$(( $(GITHUB_RUN_ID) + 7000)))
gh-dist: dist ## Creates a distribution as if we were running on github
# Output some magic for GH to set the branch name
echo "::set-output name=branch::$${GITHUB_REF#refs/heads/}"