projects
/
platform
/
upstream
/
tvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
cb7050c
)
[CI] Update GPU docker (#3709)
author
Tianqi Chen
<tqchen@users.noreply.github.com>
Mon, 5 Aug 2019 21:55:25 +0000
(14:55 -0700)
committer
GitHub
<noreply@github.com>
Mon, 5 Aug 2019 21:55:25 +0000
(14:55 -0700)
Jenkinsfile
patch
|
blob
|
history
diff --git
a/Jenkinsfile
b/Jenkinsfile
index
1ff8851
..
6af77f0
100644
(file)
--- 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.5
3
"
+ci_gpu = "tvmai/ci-gpu:v0.5
4
"
ci_cpu = "tvmai/ci-cpu:v0.51"
ci_i386 = "tvmai/ci-i386:v0.51"