From 7e55d6625c057e6a742ea4035b4f7b878ea9a7f0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Pedersen?= Date: Mon, 20 Aug 2018 11:05:54 +0200 Subject: [PATCH] Remove jenkins bootstrapping code Change-Id: I227abd2b6ad1dfee550c05fda32a97785cc957fe Reviewed-on: https://forge.frm2.tum.de/review/18669 Tested-by: JenkinsCodeReview Reviewed-by: Enrico Faulhaber Reviewed-by: Bjoern Pedersen --- ci/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 06eeb96..699deba 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -143,7 +143,7 @@ node("master") { } stage('(re-)generate image') { sh '''#!/bin/bash - git worktree add tmpmaster refs/changes/61/18661/8 + git worktree add tmpmaster refs/heads/master cd tmpmaster docker build --target base --tag secop_base:latest ci docker build --target docs --tag secop_docs:latest ci