ci: check_devices_in_wiki: Skip packages in 'archived' category

Per definition, those are not available anymore, so stop trying to
validate them.

Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/8035>
This commit is contained in:
Luca Weiss
2026-02-18 22:04:39 +01:00
parent 55ee725200
commit eecf3e2080
2 changed files with 3 additions and 3 deletions
+1 -1
View File
@@ -108,7 +108,7 @@ def main() -> int:
if args.all:
devices = get_devices()
else:
devices = common.get_changed_devices()
devices = common.get_changed_devices(skip_archived=True)
# remove 'device-' prefix
devices = [d[7:] for d in devices]
devices = [d.removesuffix("-downstream") for d in devices]
+2 -2
View File
@@ -175,9 +175,9 @@ def get_changed_kernels(skip_archived: bool = False):
ret += [pkgname]
return ret
def get_changed_devices():
def get_changed_devices(skip_archived: bool = False):
ret = []
for pkgname in get_changed_packages():
for pkgname in get_changed_packages(skip_archived):
if pkgname.startswith("device-"):
ret += [pkgname]
return ret