Try building paper in jenkins

2024-02-05 12:29:53 -08:00
parent 10b7f405a0
commit 4b7d6d6cfb
3 changed files with 15 additions and 5 deletions
--- a/5
+++ b/5
@@ -51,6 +51,11 @@ pipeline {
                cpack -G DEB
                '''
                minio bucket: 'jenkins', credentialsId: 'jenkins-minio', excludes: '', host: 'minio.weaselab.dev', includes: 'build/*.deb', targetFolder: '${JOB_NAME}/${BUILD_NUMBER}/${STAGE_NAME}/'
+                sh '''
+                cd paper
+                make
+                '''
+                minio bucket: 'jenkins', credentialsId: 'jenkins-minio', excludes: '', host: 'minio.weaselab.dev', includes: 'paper/*.pdf', targetFolder: '${JOB_NAME}/${BUILD_NUMBER}/${STAGE_NAME}/'
            }
        }
        stage('Coverage') {