tree c2c920ae5221f494a764661b26eadf11b1a1e73c
parent 196eb1ae5aa7af561929315719d5e387ae014b69
author Geoffrey Martin-Noble <gcmn@google.com> 1660249220 -0700
committer GitHub <noreply@github.com> 1660249220 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJi9WSECRBK7hj4Ov3rIwAAIW4IAIZxWy8nTo5RFiTXKAFAkOHM
 gWz6nU20A3yMERM0oPAdItqzQVSUiqAE/fpQ6QdtSWRQfO+bQKCml45NmizplHVX
 fy/IE5xA87+Gpp98okRFSb1d7oBn6wY3BOL9G0/2c/o3+x4ylmhhJogOFOI/14HE
 uo/NmzLuhfxi6EEE2WsZX2oymDMpa/Air/zg2KBa9wESmTNlAyTEP5JHOYjwtL8V
 EbOgytriZ+h50rxktd3I5I/erhH9I01EtJZLURYsOcJSp1vIE7zoWPBrPQEWpDJc
 1nTcpH3vsLgflqhwSGkF42xKcxow0IGhleblCOFBkueVz5mhqUifK0TOXqAzug4=
 =Gpsw
 -----END PGP SIGNATURE-----
 

Update status badge to use GitHub actions (#10060)

We get one status badge per workflow here, not per job. Since it's now
only one badge, I moved it up to the top instead of having a whole
section for one tiny image.