From 7b39efdf30bca3966810e874cb94be61350d2251 Mon Sep 17 00:00:00 2001
From: driazati <driazati@users.noreply.github.com>
Date: Thu, 13 Jan 2022 01:30:19 -0800
Subject: [PATCH] [skip ci] Fix missing pack_lib in Jenkinsfile

This was inadvertently removed by #9554
---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 11feadbc8640..64b8465a1ea1 100755
--- 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'
         }