diff options
| author | Andrei Vagin <avagin@google.com> | 2020-10-23 14:33:20 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-10-23 14:35:31 -0700 |
| commit | d18346e79022f4b7039593a5793ab24dd6169314 (patch) | |
| tree | f9d31ae680464c8aa18509c64ca1e71e520dcf78 /tools/github/nogo | |
| parent | ad6d32f2260e85d2a7320265109868d753558c5e (diff) | |
tools/parsers: disable nogo checks
There are too many dependencies.
PiperOrigin-RevId: 338746264
Diffstat (limited to 'tools/github/nogo')
0 files changed, 0 insertions, 0 deletions