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

This was inadvertently removed by #9554

Co-authored-by: driazati <d4a88e6bfb8aaeeaf240b84a2d19cb6109e58027@users.noreply.github.com>
dmlc/tvm,dmlc/tvm,dmlc/tvm,dmlc/tvm,dmlc/tvm,dmlc/tvm,dmlc/tvm,dmlc/tvm,dmlc/tvm