diff options
| author | Andrei Vagin <avagin@google.com> | 2020-09-09 10:38:48 -0700 |
|---|---|---|
| committer | Andrei Vagin <avagin@google.com> | 2020-09-09 10:56:11 -0700 |
| commit | 27897621da066fb7612781ae435d2bb6b7759433 (patch) | |
| tree | 50cd63f2cf92c730b4f8ad1ff81b71b2f6bfc82e /tools/nogo | |
| parent | fb281eea75799d662790cdf86ce0d55dc56b7470 (diff) | |
github: run actions for feature branches
Signed-off-by: Andrei Vagin <avagin@google.com>
Diffstat (limited to 'tools/nogo')
0 files changed, 0 insertions, 0 deletions