Test ran at 2024-05-27 00:47:59.954937+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 /Users/runner/work/alire-crates-ci/alire-crates-ci/test/66f2bf41-9adb-4bf4-87db-f7432dc4b153/spat_1.3.0_4ad4ab14/alire.lock to /Users/runner/work/alire-crates-ci/alire-crates-ci/test/66f2bf41-9adb-4bf4-87db-f7432dc4b153/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: "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/66f2bf41-9adb-4bf4-87db-f7432dc4b153/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/66f2bf41-9adb-4bf4-87db-f7432dc4b153/spat_1.3.0_4ad4ab14/spat.gpr"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/66f2bf41-9adb-4bf4-87db-f7432dc4b153/spat_1.3.0_4ad4ab14/spat.gpr"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/66f2bf41-9adb-4bf4-87db-f7432dc4b153/spat_1.3.0_4ad4ab14/spat.gpr"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 Load address: 0x10036f000 Call stack traceback locations: 0x100c77415 0x10094ae83 0x100b5ddf9 0x100b5e581 0x100abeac3 0x100abcf99 0x100ad9873 0x100b25dc1 0x100b2481a 0x100ad99b8 0x100abd349 0x1003ce9c1 0x1003df578 0x1003e401c 0x10046a05c 0x1004753b8 0x100370605 0x100373914 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