Test ran at 2024-11-03 00:57:34.120012+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:
Note: Deploying spat=1.3.0...
Note: Migrating lockfile from /home/runner/work/alire-crates-ci/alire-crates-ci/test/b1b3ac75-b77a-4aa9-af66-d82f429a6d7e/spat_1.3.0_4ad4ab14/alire.lock to /home/runner/work/alire-crates-ci/alire-crates-ci/test/b1b3ac75-b77a-4aa9-af66-d82f429a6d7e/spat_1.3.0_4ad4ab14/alire/alire.lock
Note: Deploying si_units=0.2.0...
Note: Building spat/spat.gpr...
spat.gpr:1:06: imported project file "gnatcoll" not found
gprbuild: "/home/runner/work/alire-crates-ci/alire-crates-ci/test/b1b3ac75-b77a-4aa9-af66-d82f429a6d7e/spat_1.3.0_4ad4ab14/spat.gpr" processing failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/b1b3ac75-b77a-4aa9-af66-d82f429a6d7e/spat_1.3.0_4ad4ab14/spat.gpr"] exited with code 4
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/b1b3ac75-b77a-4aa9-af66-d82f429a6d7e/spat_1.3.0_4ad4ab14/spat.gpr"] exited with code 4
stderr: ALIRE.CHECKED_ERROR
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/b1b3ac75-b77a-4aa9-af66-d82f429a6d7e/spat_1.3.0_4ad4ab14/spat.gpr"] exited with code 4
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
[/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr]
0xd7ada2 Alire.Raise_Checked_Error at alire.adb:251
0xa423cf Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:110
0xc5cdee Alire.Spawn.Command at alire-spawn.adb:21
0xc5d51c Alire.Spawn.Gprbuild at alire-spawn.adb:41
0xbc1550 Alire.Roots.Build.Build_Single_Release.Call_Gprbuild at alire-roots.adb:140
0xbbfbaf Alire.Roots.Build.Build_Single_Release at alire-roots.adb:171
0xbdb95e Alire.Roots.Traverse.Traverse_Wrap at alire-roots.adb:1364
0xc25a8b Alire.Solutions.Traverse.Visit at alire-solutions.adb:1443
0xc246a2 Alire.Solutions.Traverse at alire-solutions.adb:1518
0xbdbaac Alire.Roots.Traverse at alire-roots.adb:1368
0xbbff40 Alire.Roots.Build at alire-roots.adb:196
0x4a0334 Alr.Commands.Build.Execute at alr-commands-build.adb:58
0x4b065a Alr.Commands.Get.Retrieve at alr-commands-get.adb:187
0x4b4e77 Alr.Commands.Get.Execute at alr-commands-get.adb:348
0x53bb7e Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:742
0x54756f Alr.Commands.Execute at alr-commands.adb:492
0x43cb1a Alr.Main at alr-main.adb:10
0x43f3e7 Main at b__alr-main.adb:2132
[/lib/x86_64-linux-gnu/libc.so.6]
0x7fd75ac29d8e
0x7fd75ac29e3e
[/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr]
0x43c9f8 _start at ???
0xfffffffffffffffe


Warning: spat=1.3.0 successfully retrieved but its build failed.
Dependencies were solved as follows:

   + si_units 0.2.0 (new)
ERROR: Build ended with errors