backup

2025-11-24 16:11:57 -06:00
parent 8b579a7873
commit 1c54bf0b26
25 changed files with 2185 additions and 90 deletions
--- a/docker/Jenkinsfile
+++ b/docker/Jenkinsfile
@@ -28,6 +28,14 @@ pipeline {
                ])
            }
        }
+        stage('Pre-build script') {
+            steps{
+                script {
+                    echo "Running pre-build script"
+                    sh "./docker/prebuild.sh"
+                }
+            }
+        }
        stage("Build and test"){
            parallel {
                stage("Build Math") {