tree 334d2bc7b50b45c4e9e9442853967a9e6f6010ed
parent 144ec9460dd9d51e073953f7904a6a1e9aaa7c10
author Andrei Litvin <andy314@gmail.com> 1669930340 -0500
committer GitHub <noreply@github.com> 1669930340 -0500
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJjiR1kCRBK7hj4Ov3rIwAAt2YIADsFr3qlGeEkEEDTE97kmRIF
 6qQQdBaaDIpUZDM3t38n+VUsqyAzBKWQpGHc8VAkyQ/KLY5Fprst4cO8bCi0vZrd
 S75LxpPEYJf4GVhcFyqjezL7wL+WVAnmx/jdpamiDn/IA/HMgf3OEvafajE9J9tA
 lIMo/bgrmaNnyicNNyRujrNNT3WVeYi6AMzzHKuhlyK4J5NI8aQQxLMB0Om61s2M
 5w6sX7BVj44evaH5Ty0DMmKMxUvNLZbZhrvXRgC//EuN0PHwvn7/0AfEYEbAatfv
 dubxfGt3uKc0lbbrvgUPZSySoI2fwYsX2Ezh7/fjRLNkcOlU+u5UTC4SkNv39Sk=
 =LQlF
 -----END PGP SIGNATURE-----
 

Add a `--skip-build` option to docker image builds (#23836)

* add a skip-build argument to build.sh, to allow pushing without building, assuming an image is already built

* Restyle

* Fix conditional