ci(jenkins): install ripgrep for smell checks
This commit is contained in:
parent
1856e1b411
commit
aeb605d27e
2
Jenkinsfile
vendored
2
Jenkinsfile
vendored
@ -112,7 +112,7 @@ spec:
|
|||||||
sh '''
|
sh '''
|
||||||
set -eu
|
set -eu
|
||||||
apt-get update >/dev/null
|
apt-get update >/dev/null
|
||||||
apt-get install -y --no-install-recommends jq python3 >/dev/null
|
apt-get install -y --no-install-recommends jq python3 ripgrep >/dev/null
|
||||||
mkdir -p build
|
mkdir -p build
|
||||||
set +e
|
set +e
|
||||||
bash scripts/check.sh
|
bash scripts/check.sh
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user