From: Andrei Pavel <andrei@isc.org>
Date: Tue, 9 Jul 2024 10:12:02 +0000 (+0300)
Subject: [#1723] rename messages to duplicate-log-messages
X-Git-Tag: Kea-2.7.1~42
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=17fe5c20b68140ef079cdf7ada140c87add7241a;p=thirdparty%2Fkea.git

[#1723] rename messages to duplicate-log-messages
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index af49a62e43..f319825a0f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,15 +41,15 @@ duplicate-includes:
   script:
     - ./tools/check-for-duplicate-includes.sh
 
-uninstalled-headers:
+duplicate-log-messages:
   stage: test
   script:
-    - ./tools/find-uninstalled-headers.py
+    - ./tools/check-messages.py
 
-messages:
+uninstalled-headers:
   stage: test
   script:
-    - ./tools/check-messages.py
+    - ./tools/find-uninstalled-headers.py
 
 missing-api-commands:
   stage: test