From 64ffba046827ec2d384cebccd1e27f9e01cbd721 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?= Date: Sat, 7 Jun 2025 19:31:14 +0200 Subject: [PATCH] Fixing file sorting, using Path API instead. --- .github/db_operator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/db_operator.py b/.github/db_operator.py index 30d3952eb..9c572f463 100755 --- a/.github/db_operator.py +++ b/.github/db_operator.py @@ -74,7 +74,7 @@ def build_database(source_dir: str): ] + external_files # We want to place the .rbf files at the end, so that they can receive # the mad terms from the related .mra's - all_files.sort(key=lambda t: t[0][-4:].lower() == '.rbf') + all_files.sort(key=lambda t: t[0].suffix.lower() == '.rbf') builder = DatabaseBuilder(tags) for file, description, filter_terms in all_files: