Test ran at 2025-07-19 00:41:41.615810+00:00 SOLUTION: labs_radar=1.0.0: Introductory Ada exercises based around a fake radar codebase Origin: commit e5cb19b4b5d9f337f68e7e0ea90b7bae576f3512 from https://github.com/adacore/training_labs_radar.git Properties: Author: Léo Germond Description: Introductory Ada exercises based around a fake radar codebase License: Apache-2.0 Maintainer: Léo Germond Maintainers_Logins: leogermond Name: labs_radar Tag: training Tag: labs Version: 1.0.0 Website: https://github.com/adacore/training_labs_radar LOG: [alr test] Testing labs_radar=1.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get labs_radar=1.0.0 Note: Deploying labs_radar=1.0.0... labs_radar=1.0.0 successfully retrieved. There are no dependencies. [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building labs_radar=1.0.0/labs_radar.gpr... Setup [mkdir] object directory for project Labs_Radar Compile [Ada] declarations_main.adb Bind [gprbind] declarations_main.bexch [Ada] declarations_main.ali Link [link] declarations_main.adb Success: Build finished successfully in 0.41 seconds. Found declared GPR file: labs_radar.gpr [alr test] Test completed SUCCESSFULLY