[skip ci] Fix missing pack_lib in Jenkinsfile (apache#9924)

This was inadvertently removed by apache#9554 Co-authored-by: driazati <[email protected]>
driazati · Jan 13, 2022 · 2c1ed59 · 2c1ed59
1 parent cc9d2f4
commit 2c1ed59
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -571,6 +571,7 @@ stage('Test') {
               label: 'Build docs',
             )
           }
+          pack_lib('docs', 'docs.tgz')
         }
       }
     }
@@ -599,7 +600,7 @@ stage('Deploy') {
     node('doc') {
       ws(per_exec_ws('tvm/deploy-docs')) {
         if (env.BRANCH_NAME == 'main') {
-        unpack_lib('mydocs', 'docs.tgz')
+        unpack_lib('docs', 'docs.tgz')
         sh 'cp docs.tgz /var/docs/docs.tgz'
         sh 'tar xf docs.tgz -C /var/docs'
         }