CI: rename "device/unmaintained" to "device/archived" (MR 5046)

This commit is contained in:
Stefan Hansson 2024-04-23 17:00:17 +02:00 committed by Pablo Correa Gómez
parent fb7f99efe2
commit b29ebae96b
No known key found for this signature in database
GPG key ID: 7A342565FF635F79

View file

@ -6,10 +6,10 @@ import stat
expected_directories = [ expected_directories = [
"cross", "cross",
"device/archived",
"device/community", "device/community",
"device/main", "device/main",
"device/testing", "device/testing",
"device/unmaintained",
"main", "main",
"modem", "modem",
"non-free", "non-free",