From 17fe5c20b68140ef079cdf7ada140c87add7241a Mon Sep 17 00:00:00 2001 From: Andrei Pavel Date: Tue, 9 Jul 2024 13:12:02 +0300 Subject: [PATCH] [#1723] rename messages to duplicate-log-messages --- .gitlab-ci.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index af49a62e43..f319825a0f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -41,16 +41,16 @@ duplicate-includes: script: - ./tools/check-for-duplicate-includes.sh +duplicate-log-messages: + stage: test + script: + - ./tools/check-messages.py + uninstalled-headers: stage: test script: - ./tools/find-uninstalled-headers.py -messages: - stage: test - script: - - ./tools/check-messages.py - missing-api-commands: stage: test script: