tree 674be8dd820dd2ec6e556ae037bac2c809251924
parent 7cd73f30a4fa60928a53d048e0c6dff246e4f67a
author Jonathan Hui <jonhui@google.com> 1652157079 -0700
committer GitHub <noreply@github.com> 1652157079 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJieeqXCRBK7hj4Ov3rIwAAby0IAHQ9QtsqEEMWFEs1WPyAB+jG
 bCUmGXvFH0XRP3B6R0ALrbmf7k5yrsQ5JHxAY2dLTdnHCrcexjysnKLGf4rZkpo5
 ErOmoFlHCFw5n9+eglSHjW4HLvFu1wGvzhYGqxVP0W6ChrENcJaiO0rbXmk7mf4g
 8Gy04Ywi2cfCIZEJuTAOPPlc4xOQGePOXBW2kwCQpU8pXU6n1hqAY9TfxFA9x7gN
 K5/ZeYBUrWOo0UKD8tIUsiMxp6ZW5YJXUb2P5xaSGcmARySrcjqcAYU1Oo8f4E2B
 0kyuH9TX8i14FJLWAwUOcCtGYzeFreyP/pxUcPJfSvrA6iTZc5J1o3ogkBmZrpI=
 =Wu7l
 -----END PGP SIGNATURE-----
 

[github-actions] do not delete artifacts if coverage upload fails (#7678)

Coverage upload can fail intermittently for various reasons. Do not
delete coverage artifacts if upload fails to avoid needing to re-run
the entire workflow.