python -> python3

stan-dev · Dec 10, 2024 · 74557ef · 74557ef
1 parent 53852a4
commit 74557ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -44,7 +44,7 @@ pipeline {
 
                 script {
                     if (params.linkDocs) {
-                        sh "python add_old_links.py $major_version $minor_version"
+                        sh "python3 add_old_links.py $major_version $minor_version"
                     }
                 }