diff options
| author | Ian Lewis <ianlewis@google.com> | 2021-05-17 19:42:01 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-05-17 19:44:02 -0700 |
| commit | 32b66bb2be1b3b56138ca856045381519e210b68 (patch) | |
| tree | c43d958a4bff277b8210dbd3087ff3c08aa2aea6 /tools | |
| parent | 3c24d345d09493bc65bcecc2b99997524a1fe6c1 (diff) | |
Add badges for Github actions so it's easier to notice when they are failing.
PiperOrigin-RevId: 374331016
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions