gitlab-ci: skip lint for backports

This commit is contained in:
Antoine Martin 2023-05-07 18:46:32 -04:00
parent a80ee9f7ab
commit 73032f9918
Signed by: forge
GPG key ID: D62A472A4AA7D541

View file

@ -50,10 +50,10 @@ for PKG in $(changed-aports "$BASEBRANCH"); do
repo=$(basename $(dirname $PKG));
if [ "$repo" = "main" ]; then
export SKIP_AL1=1
export SKIP_AL13=1
fi
if [ "$repo" == "backports" ]; then
echo "Skipping $PKG as backports (we don't care)"
continue
fi
printf "\n\n"
printf "$BLUE"