Test ran at 2025-10-05 12:29:53.309009+00:00

SOLUTION:
spat=1.3.0: SPAT - SPARK Proof Analysis Tool
Origin: commit 4ad4ab14447ac8cbbedcb8d47f026a66a73551d7 from https://github.com/HeisenbugLtd/spat.git
Properties:
   Author: Vinzent "Jellix" Saranen
   Description: SPAT - SPARK Proof Analysis Tool
   Executable: run_spat
   License: WTFPL
   Long_Description: SPAT - SPARK Proof Analysis Tools

Helper tool to obtain, analyse, sort, and filter timing information about
`gnatprove` runs (`SPARK` tools).

   Maintainer: vinzent@heisenbug.eu
   Maintainers_Logins: Jellix
   Name: spat
   Project_File: spat.gpr
   Tag: spark
   Version: 1.3.0
   Website: https://github.heisenbug.eu/spat
Dependencies (direct):
   case Toolchain is
      when System => gnatcoll>=19
   si_units~0.2
Dependencies (solution):
   si_units=0.2.0
Dependencies (graph):
   spat=1.3.0 --> si_units=0.2.0 (~0.2)


LOG:
[alr test] Testing spat=1.3.0
[alr test] Spawning retrieval for remote crate: alr -d -n get spat=1.3.0
Note: Deploying spat=1.3.0...
Note: Migrating lockfile from /Users/runner/work/alire-crates-ci/alire-crates-ci/test/cc665593-507f-4e62-bc49-6604adef147e/spat_1.3.0_4ad4ab14/alire.lock to /Users/runner/work/alire-crates-ci/alire-crates-ci/test/cc665593-507f-4e62-bc49-6604adef147e/spat_1.3.0_4ad4ab14/alire/alire.lock
Note: Deploying si_units=0.2.0...

spat=1.3.0 successfully retrieved.
Dependencies were solved as follows:

   + si_units 0.2.0 (new)
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building spat=1.3.0/spat.gpr...
spat.gpr:1:06: imported project file "gnatcoll" not found
gprbuild: "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/cc665593-507f-4e62-bc49-6604adef147e/spat_1.3.0_4ad4ab14/spat.gpr" processing failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/cc665593-507f-4e62-bc49-6604adef147e/spat_1.3.0_4ad4ab14/spat.gpr", "-cargs:Ada", "-gnatwn"] exited with code 5
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/cc665593-507f-4e62-bc49-6604adef147e/spat_1.3.0_4ad4ab14/spat.gpr", "-cargs:Ada", "-gnatwn"] exited with code 5
stderr: ALIRE.CHECKED_ERROR
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/cc665593-507f-4e62-bc49-6604adef147e/spat_1.3.0_4ad4ab14/spat.gpr", "-cargs:Ada", "-gnatwn"] exited with code 5
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
Load address: 0x102138000
Call stack traceback locations:
0x102e440cc 0x102e4412c 0x102b9866c 0x1027dd568 0x102a62594 0x102a634f4 0x1029a133c 0x10299fb08 0x1029c378c 0x102a2356c 0x102a2299c 0x1029c3868 0x1029c3950 0x1029a000c 0x1029a0174 0x1021a9730 0x1021a9070 0x1021a91e4 0x102246b38 0x102251c78 0x10213a9f8 0x10213fa2c

stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED
stderr: alire-roots.adb:202
stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202
Load address: 0x102138000
Call stack traceback locations:
0x102e440cc 0x102e4412c 0x1029a1640 0x10299fb08 0x1029c378c 0x102a2356c 0x102a2299c 0x1029c3868 0x1029c3950 0x1029a000c 0x1029a0174 0x1021a9730 0x1021a9070 0x1021a91e4 0x102246b38 0x102251c78 0x10213a9f8 0x10213fa2c

ERROR: Compilation failed.