| commit | 858d6daa83022246e2eac6a455900daae4863de2 | [log] [tgz] |
|---|---|---|
| author | Xinyu Zhang <xinyu.zhang@arm.com> | Tue Sep 26 17:38:04 2023 +0800 |
| committer | Xinyu Zhang <xinyu.zhang@arm.com> | Tue Sep 26 17:38:14 2023 +0800 |
| tree | 683e7f65eb53053e4604164adb923f55d96606d2 | |
| parent | f36e85dc740ed225bf8b2c4ea53c18cf9bfec087 [diff] |
Coverity: Enable manually setting CI repo configs To make it more convenient for users to manually trigger coverity job for different use cases, enable manually setting CI repo related configs in Jenkins. Signed-off-by: Xinyu Zhang <xinyu.zhang@arm.com> Change-Id: I66adfefc8faea067e53e16f5bed876d77c21b2d1