diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c40941fc5b002f73e74ea6fca2baf700414695e6..9ee9f68d39458b7116d56d8c4a213c633e93062d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -254,7 +254,7 @@ lint: variables: LINT_MAKEFILE: "share/Makefile.linting" script: - - ./nix/shell-checkers.sh "make -f share/Makefile.linting lint" + - ./nix/shell-checkers.sh "make -f share/Makefile.linting check-lint" # Manuals