CI: .gitlab/vermin.sh -> .ci/vermin.sh (MR 2080)

This commit is contained in:
Oliver Smith 2021-07-03 13:35:57 +02:00
parent d7e22e4993
commit 6c2b72ca13
No known key found for this signature in database
GPG Key ID: 5AE7F5513E0885CB
2 changed files with 1 additions and 1 deletions

View File

@ -37,7 +37,7 @@ vermin:
- "apk -q add py3-pip"
- "pip3 -q --disable-pip-version-check install vermin"
script:
- ".gitlab/vermin.sh"
- ".ci/vermin.sh"
# MR settings
# (Checks for "Allow commits from members who can merge to the target branch")