]> git.ipfire.org Git - thirdparty/kea.git/commitdiff
[#1723] rename messages to duplicate-log-messages
authorAndrei Pavel <andrei@isc.org>
Tue, 9 Jul 2024 10:12:02 +0000 (13:12 +0300)
committerAndrei Pavel <andrei@isc.org>
Tue, 9 Jul 2024 10:49:32 +0000 (13:49 +0300)
.gitlab-ci.yml

index af49a62e435bc5a049858cf613892989e1cfb858..f319825a0fbf3515274f85cad8d8a23ce20e94c8 100644 (file)
@@ -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