summaryrefslogtreecommitdiffhomepage
path: root/tools/github/nogo/BUILD
AgeCommit message (Expand)Author
2020-10-26Add nogo configuration.Adin Scannell
2020-09-29Add nogo check annotations to GitHub.Adin Scannell