chore: merge origin/main

This commit is contained in:
Abdessamad Derraz committed 2026-11-06 16:42:16 +01:00
commit 84cffe3f8d
270 files changed
+2107 -70

No files matched your search

+3
View File
@@ -1188,6 +1188,9 @@ def main() -> None:
"--list-emulators", action="store_true", help="List available emulators"
)
args = parser.parse_args()
from common import work_from_repo_root # noqa: PLC0415
work_from_repo_root(args, parser, ["emulators_dir", "platforms_dir", "db"])
if args.list_emulators:
ignored = [flag for flag, on in (
("--emulator", args.emulator), ("--platform", args.platform),