diff options
| author | Taras Madan <tarasmadan@google.com> | 2024-10-04 11:18:10 +0200 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2024-10-10 15:39:25 +0000 |
| commit | cd942402d6bc82fa3ea87e5c43509e1ec6cfafe2 (patch) | |
| tree | 4bcd4b26ad9f9a1a79d6530b2bc0bdccc1ea1015 /executor/_include/flatbuffers/grpc.h | |
| parent | d7475276a82f2dbec772bce46ac82ce370fb4bef (diff) | |
syz-ci: introduce gitArchive parameters
Some commits don't live long remotely.
It sometimes happens we need them later to:
1. Merge coverage.
2. Mention during communication.
Diffstat (limited to 'executor/_include/flatbuffers/grpc.h')
0 files changed, 0 insertions, 0 deletions