jjb: coverity: cache the tool installer
authorMichael Jeanson <mjeanson@efficios.com>
Tue, 14 Mar 2023 15:32:58 +0000 (11:32 -0400)
committerMichael Jeanson <mjeanson@efficios.com>
Tue, 14 Mar 2023 15:37:15 +0000 (11:37 -0400)
commitfa299733adf74be2ce0fbce88eee7d4cca31a096
tree7d85f826d8fe8fb53b4df7c7be503268c905415c
parent70f5aee23d9422a9224660498b1ef0f78705d7da
jjb: coverity: cache the tool installer

The coverity tool installer can be slow to download, cache it localy on
each node.

Change-Id: I524cefdcd3c492c0ca21e41a6159efc5ed725781
Signed-off-by: Michael Jeanson <mjeanson@efficios.com>
scripts/common/coverity.sh
This page took 0.022808 seconds and 4 git commands to generate.