[Bug]: VSCode Ada extension triggered by "adb.props" file

[Pakti]

Environment

• OS and Version: Linux Mint 21.1 (based on Ubuntu 22.04)
• IDE Version: "VS Code 1.107.1
• Ada & SPARK Extension Version: 2026.0.202510141

Bug Summary and Reproducer

Bug Summary: The Ada extension is triggered when a project subdirectory contains an adb.props file - as is the case after building an Android project, for example.

Steps to reproduce: Open a folder in VS Code with just a random adb.props file and press Shift+Ctrl+B to build the project: the PROBLEMS tab will show the message "No project was found in the root directory. Please create a GPR project file and add it to the configuration. ada.project [Ln 1, Col 1]"

Expected behavior: The Ada extension is triggered only when a project contains *.adb, *.ads or *.ada files, - that is, file extensions are checked, not file basenames.

Configuration and Logs

Ada: Show extension output from the VS Code command palette:

2025-12-26 12:44:33.753 [Ada Extension] INFO     Setting log level to: info 
2025-12-26 12:44:33.754 [Ada Extension] INFO     Starting Ada extension 
2025-12-26 12:44:33.755 [Ada Extension] INFO     Using ALS at: /home/pakti/.vscode/extensions/adacore.ada-2026.0.202510141-linux-x64/x64/linux/ada_language_server 
2025-12-26 12:44:33.759 [Ada Extension] INFO     Using ALS at: /home/pakti/.vscode/extensions/adacore.ada-2026.0.202510141-linux-x64/x64/linux/ada_language_server 
2025-12-26 12:44:34.254 [Ada Extension] INFO     Finished starting Ada extension 
2025-12-26 12:44:36.471 [Ada Extension] WARN     Failed to get Project.Compiler.Driver ("ada"): The queried attribute is not known 
2025-12-26 12:44:36.471 [Ada Extension] WARN     Assuming empty target prefix 
2025-12-26 12:44:36.473 [Ada Extension] WARN     Failed to get Project.Compiler.Driver ("ada"): The queried attribute is not known 
2025-12-26 12:44:36.473 [Ada Extension] WARN     Assuming empty target prefix 

------------------------------------------------------
/home/pakti/.als/gpr_ls_log.2025-12-26T124434.3079653.log:

[ALS.MAIN] ALS version: 27.0w (20251014)
[ALS.MAIN] Initializing server ...
[ALS.MAIN] GPR PATH: 
[ALS.MAIN] PATH: /home/pakti/.local/bin:/home/pakti/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin:/home/pakti/.dotnet/tools:/home/pakti/.local/share/JetBrains/Toolbox/scripts
[ALS.MAIN] Trying config file: /home/pakti/.config/als/config.json
[ALS.MAIN] /home/pakti/.config/als/config.json doesn't exist
[ALS.MAIN] Trying config file: /tmp/adatest/.als.json
[ALS.MAIN] /tmp/adatest/.als.json doesn't exist

Other VS Code Extensions

No response

Additional context

No response