mir/kea
2
0
Fork 0
mirror of https://gitlab.isc.org/isc-projects/kea synced 2025-08-30 05:27:55 +00:00
Code Issues Releases Wiki Activity

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

Browse Source
This commit is contained in:
Andrei Pavel 2024-07-09 13:12:02 +03:00
parent 95799832c1
commit 17fe5c20b6
No known key found for this signature in database
GPG Key ID: D4E804481939CB21
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.gitlab-ci.yml
View File

@ -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: