Workaround for the markdown image not having ssh-agent (modelica#2939)

henrikt-ma · May 10, 2021 · 499df4e · 499df4e
1 parent 5707a7e
commit 499df4e
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile
@@ -108,11 +108,7 @@ pipeline {
   }
   stage('index') {
     agent {
-      docker {
-        image 'modelicaspec/markdown:20190307'
-        label 'linux'
-        alwaysPull true
-      }
+      label 'linux'
     }
     when {
       allOf {
@@ -124,7 +120,11 @@ pipeline {
       beforeAgent true
     }
     steps {
-      sh 'python3 .CI/index.py'
+      script {
+        docker.image('modelicaspec/markdown:20190307').inside {
+          sh 'python3 .CI/index.py'
+        }
+      }
       sshagent (credentials: ['Hudson-SSH-Key']) {
         sh 'ssh-keyscan github.com >> ~/.ssh/known_hosts'
         sh "test -d specification.modelica.org || git clone git@github.com:modelica/specification.modelica.org"