stanc.js can use the Dockerfile

stan-dev · Sep 24, 2021 · c85c520 · c85c520
1 parent 1a4cb39
commit c85c520
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -277,8 +277,8 @@ pipeline {
                 }
                 stage("Build stanc.js") {
                     agent {
-                        docker {
-                            image 'andrjohns/stanc3-building:static'
+                        dockerfile {
+                            filename 'docker/debian/Dockerfile'
                             //Forces image to ignore entrypoint
                             args "-u root --entrypoint=\'\'"
                         }