From 85bf61bad30f64bbd5eb9fbc91c59828a5c2f176 Mon Sep 17 00:00:00 2001
From: Matt Godbolt <matt@godbolt.org>
Date: Sat, 13 Feb 2021 15:03:44 -0600
Subject: [PATCH] Use git run id

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 38d8a0e63..dcfd22fea 100644
--- a/Makefile
+++ b/Makefile
@@ -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/}"