diff options
| author | Pali Rohár <pali.rohar@gmail.com> | 2018-02-26 13:10:35 +0100 |
|---|---|---|
| committer | Pali Rohár <pali.rohar@gmail.com> | 2018-02-26 13:10:35 +0100 |
| commit | 9e5646d30e237879bfdf1d1396c95d330381dc4f (patch) | |
| tree | 662f1f132d050f2bbfafe695f6ed6dec179b6376 /src | |
| parent | 33442482c65acf3805d24b76b3567ec97c2492ef (diff) | |
| download | 0xFFFF-9e5646d30e237879bfdf1d1396c95d330381dc4f.tar.bz2 | |
travis: Do not run Coverity Scan jobs on non-master branches and in pull requests
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions