Jenkinsfile, package/Dockerfile: correct nightly url

ehildenb · ehildenb · commit 271acb158653 · 2019-07-18T15:18:01.000-06:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -142,7 +142,6 @@ pipeline {
       // }
       environment {
         GITHUB_TOKEN = credentials('rv-jenkins')
-        K_NIGHTLY    = '89361d7c8'
       }
       stages {
         stage('Build Ubuntu Package') {
diff --git a/package/Dockerfile.ubuntu-bionic b/package/Dockerfile.ubuntu-bionic
@@ -12,5 +12,5 @@ RUN    apt update
 
 RUN curl -sSL https://get.haskellstack.org/ | sh -s - -f
 
-ADD https://github.com/kframework/k/releases/download/nightly-$K_NIGHTLY/kframework_5.0.0_amd64_bionic.deb kframework_5.0.0_amd64_bionic.deb
+ADD https://github.com/kframework/k/releases/download/nightly-89361d7c8/kframework_5.0.0_amd64_bionic.deb kframework_5.0.0_amd64_bionic.deb
 RUN apt install --yes kframework_5.0.0_amd64_bionic.deb

Original file line number	Diff line number	Diff line change
`@@ -142,7 +142,6 @@ pipeline {`
`142`	`142`	`// }`
`143`	`143`	`environment {`
`144`	`144`	`GITHUB_TOKEN = credentials('rv-jenkins')`
`145`		`- K_NIGHTLY = '89361d7c8'`
`146`	`145`	`}`
`147`	`146`	`stages {`
`148`	`147`	`stage('Build Ubuntu Package') {`