diff --git a/.ci/build-linux.sh b/.ci/build-linux.sh index 2904475405..5c71fc90b0 100755 --- a/.ci/build-linux.sh +++ b/.ci/build-linux.sh @@ -55,6 +55,8 @@ ninja; build_status=$?; cd .. +shellcheck .ci/*.sh + # If it compiled succesfully let's deploy depending on the build pipeline (Azure Pipelines). # Azure publishes PRs as artifacts only. { [ "$IS_AZURE" = "true" ];