Update K Nightly version used for integration testing (#505)

* include.mk: update K nightly version * scripts/update-k-nightly-pr: remove automatic assignment of reviewer * scripts/update-k-nightly-pr: default to vladciobanu reviewer
runtimeverification · Mar 13, 2019 · 34b42a7 · 34b42a7
1 parent ea92c22
commit 34b42a7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/include.mk b/include.mk
@@ -5,7 +5,7 @@ UPSTREAM_BRANCH = origin/master
 
 BUILD_DIR = $(TOP)/.build
 K_NIGHTLY = $(BUILD_DIR)/nightly.tar.gz
-K_NIGHTLY_URL = https://github.com/kframework/k/releases/download/nightly-4375ba02b/nightly.tar.gz
+K_NIGHTLY_URL = https://github.com/kframework/k/releases/download/nightly-5efe34457/nightly.tar.gz
 K_DIST_DEFAULT = $(BUILD_DIR)/k
 K_DIST ?= $(K_DIST_DEFAULT)
 K_DIST_BIN = $(K_DIST)/bin

diff --git a/scripts/update-k-nightly-pr.sh b/scripts/update-k-nightly-pr.sh
@@ -27,7 +27,7 @@ git add $TOP/include.mk
 
 git commit --message 'include.mk: update K nightly version'
 
-hub pull-request --push --force --head "$BRANCH_NAME" --base "$UPSTREAM_BRANCH" --reviewer ehildenb --file - <<MSG
+hub pull-request --push --force --head "$BRANCH_NAME" --base "$UPSTREAM_BRANCH" --reviewer vladciobanu --file - <<MSG
 Update K Nightly version used for integration testing
 
 PR generated by '$0'