diff options
| author | Adam Izraelevitz | 2019-11-22 16:31:45 -0800 |
|---|---|---|
| committer | GitHub | 2019-11-22 16:31:45 -0800 |
| commit | 93ccad7dad097e607cd2e7888552cae708634f73 (patch) | |
| tree | 080d6f3c6b764a0e01b9d3025ce2cedb6ff31cc5 /src/test | |
| parent | 4a4abfc56c7aec8113b9c74b7a98a5cb775aa9b5 (diff) | |
Fix mergify to backports: omit jenkins CI (#1246)
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions