diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-07-05 19:44:57 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-07-05 19:44:57 +0200 |
| commit | 1841d5a558064825ef784b14fd700e34fac5ccb2 (patch) | |
| tree | cc2b4125018246cec32db9fb03f60d0f282dbfd3 /executor | |
| parent | 1b780baf307461db282f6434f2a936f4ac90486d (diff) | |
syz-ci: don't rebuild syzkaller if commit has not changed
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions