diff --git a/Jenkinsfile b/Jenkinsfile index c50297402ddb..3b6fc032a389 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -39,7 +39,7 @@ // - Periodically cleanup the old versions on local workers // ci_lint = "tvmai/ci-lint:v0.51" -ci_gpu = "tvmai/ci-gpu:v0.51" +ci_gpu = "tvmai/ci-gpu:v0.52" ci_cpu = "tvmai/ci-cpu:v0.50" ci_i386 = "tvmai/ci-i386:v0.50" diff --git a/docker/install/ubuntu_install_nodejs.sh b/docker/install/ubuntu_install_nodejs.sh index 681f1b4a4641..8da9e2485797 100755 --- a/docker/install/ubuntu_install_nodejs.sh +++ b/docker/install/ubuntu_install_nodejs.sh @@ -6,9 +6,9 @@ # to you under the Apache License, Version 2.0 (the # "License"); you may not use this file except in compliance # with the License. You may obtain a copy of the License at -# +# # http://www.apache.org/licenses/LICENSE-2.0 -# +# # Unless required by applicable law or agreed to in writing, # software distributed under the License is distributed on an # "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY @@ -25,7 +25,7 @@ apt-get install -y curl # The node install script fetched and executed here will update the # apt source list, hence the second apt-get update is necessary. -curl -s -S -L https://deb.nodesource.com/setup_6.x | bash - +curl -s -S -L https://deb.nodesource.com/setup_8.x | bash - apt-get update apt-get install -y nodejs