2
0
mirror of https://gitlab.com/apparmor/apparmor synced 2025-08-22 01:57:43 +00:00

CI: check extra profiles for local/ includes

This commit is contained in:
Christian Boltz 2023-04-18 22:43:00 +02:00
parent 8d9985ac0b
commit 3ddb1677dd
No known key found for this signature in database
GPG Key ID: C6A682EA63C82F1C

View File

@ -104,6 +104,7 @@ test-profiles:
script:
- make -C profiles check-parser
- make -C profiles check-abstractions.d
- make -C profiles check-extras
shellcheck:
stage: test