- name: Update the RBE Configs
      run: |
        function map() {
          # The "digest" that allows us to pull an image is not the digest as
          # returned by the API, but a sha256sum of the entire chunk of image
          # metadata. gcr.io helpfully includes it in the header of the response
          # as docker-content-digest: sha256:[digest]. Note we use egrep to

V7.S4, V9.S4 // V18(W12+K12...W15+K15) SHA256SU0 V4.S4, V7.S4 // V7: (su0(W13)+W12,...,su0(W16)+W15) SHA256SU1 V5.S4, V4.S4, V6.S4 // V6: W24-W27 HASHUPDATE // H16 VADD V20.S4, V4.S4, V9.S4 // V18(W16+K16...W19+K19) SHA256SU0 V5.S4, V4.S4 // V4: (su0(W17)+W16,...,su0(W20)+W19) SHA256SU1 V6.S4, V5.S4, V7.S4 // V7: W28-W31 HASHUPDATE // H20 VADD V21.S4, V5.S4, V9.S4 // V18(W20+K20...W23+K23) SHA256SU0 V6.S4, V5.S4 // V5: (su0(W21)+W20,...,su0(W24)+W23) SHA256SU1 V7.S4, V6.S4, V4.S4 // V4: W32-W35 HASHUPDATE...