Cache build docker images in container registry. #5811
Renaming and adding files.
22f5b4d6
add get_docker_image.py, updates
0e0433ca
Update run_dockerbuild.sh to use get_docker_image.py.
f55a9f8b
update
b13d1908
Update existing usages of run_dockerbuild.sh, clean up.
f736e3f5
Merge remote-tracking branch 'origin/master' into edgchen1/build_imag…
2c1816d9
Fix indent.
d19ddf34
add run.py
e098d634
try to fix build
aef64c28
Fix build.
8d6afff8
Fix flake errors.
e1174df7
snnn
commented
on 2020-11-15
clean up, add documentation
487417cf
Fix build.py.
75cc8e3f
edgchen1
marked this pull request as ready for review 5 years ago
remove sudo, cleanup.
b990aa1c
snnn
dismissed these changes
on 2020-11-17
Merge branch 'master' into edgchen1/build_image_cache
dae781d1
edgchen1
dismissed their stale review
via dae781d1
5 years ago
Fix scripts.
d9223d9d
snnn
approved these changes
on 2020-11-17
edgchen1
merged
71e7c2b4
into master 5 years ago
edgchen1
deleted the edgchen1/build_image_cache branch 5 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub