diff options
| author | Andrei Pavel <andrei@isc.org> | 2024-07-09 12:12:02 +0200 |
|---|---|---|
| committer | Andrei Pavel <andrei@isc.org> | 2024-07-09 12:49:32 +0200 |
| commit | 17fe5c20b68140ef079cdf7ada140c87add7241a (patch) | |
| tree | 9ab9d02b6e27bc9ebccce237c087426c02c0518f /.gitlab-ci.yml | |
| parent | [#1723] check-messages.py: remove duplicated strip (diff) | |
| download | kea-17fe5c20b68140ef079cdf7ada140c87add7241a.tar.xz kea-17fe5c20b68140ef079cdf7ada140c87add7241a.zip | |
[#1723] rename messages to duplicate-log-messages
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 4 insertions, 4 deletions
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 |