tree 7f3056d5c210beaa63c2e7bca5e12807a77b83ea
parent c394dbbba4389655fcd905a497baef3b55d3d02b
author Geoffrey Martin-Noble <gcmn@google.com> 1659471801 -0700
committer GitHub <noreply@github.com> 1659471801 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJi6Ye5CRBK7hj4Ov3rIwAAlTcIAEJDW3Y8Za1RLDV4giUfzpQw
 ZDEyFOrHvv8+bjd/REkA7QfRuKKiQ92Kh8h71pw4JoBHmk8byGIPAVFflyfGvYWh
 OfoW7cu/mjNLfe4/MidfxtZi4RPHPVEKQGURVuOl++ef8irc1F7C4TLprlq2xoAp
 bN7LUBbGCQCwD83VnnMHJxjkqR95DCw4Dkc0eZjjG9tKo77pKiu4MZZIUVBhg4Uj
 PLCAedB5n93MsCpV9OsXo8jgubOqxstp007DfYIXpjhWBIYh9Ic6BgYrSnZmTZMM
 L7CqL2GNwTFRLqt4yUp0HYXQ0wgVMXFpkXhNOFGyI/7fpt2cxm+Gw9UIrP2F6+A=
 =KLqj
 -----END PGP SIGNATURE-----
 

Allow updating docker digests without rebuilding (#9984)

This is useful when the digests somehow get out of sync, as happened in
https://github.com/iree-org/iree/pull/9983. I can turn it into a lint
check too.

Also updates quote style to be consistent with all our other Python
stuff.