Test ran at 2022-05-28 09:02:08.409952+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 release spat=1.3.0... Cloning into '/home/runner/work/alire-crates-ci/alire-crates-ci/test/4f81c584-3408-41f9-8ccc-d03bcdfc7e9b/alr-ytgm.tmp'... remote: Enumerating objects: 4701, done. remote: Counting objects: 0% (1/1258) remote: Counting objects: 1% (13/1258) remote: Counting objects: 2% (26/1258) remote: Counting objects: 3% (38/1258) remote: Counting objects: 4% (51/1258) remote: Counting objects: 5% (63/1258) remote: Counting objects: 6% (76/1258) remote: Counting objects: 7% (89/1258) remote: Counting objects: 8% (101/1258) remote: Counting objects: 9% (114/1258) remote: Counting objects: 10% (126/1258) remote: Counting objects: 11% (139/1258) remote: Counting objects: 12% (151/1258) remote: Counting objects: 13% (164/1258) remote: Counting objects: 14% (177/1258) remote: Counting objects: 15% (189/1258) remote: Counting objects: 16% (202/1258) remote: Counting objects: 17% (214/1258) remote: Counting objects: 18% (227/1258) remote: Counting objects: 19% (240/1258) remote: Counting objects: 20% (252/1258) remote: Counting objects: 21% (265/1258) remote: Counting objects: 22% (277/1258) remote: Counting objects: 23% (290/1258) remote: Counting objects: 24% (302/1258) remote: Counting objects: 25% (315/1258) remote: Counting objects: 26% (328/1258) remote: Counting objects: 27% (340/1258) remote: Counting objects: 28% (353/1258) remote: Counting objects: 29% (365/1258) remote: Counting objects: 30% (378/1258) remote: Counting objects: 31% (390/1258) remote: Counting objects: 32% (403/1258) remote: Counting objects: 33% (416/1258) remote: Counting objects: 34% (428/1258) remote: Counting objects: 35% (441/1258) remote: Counting objects: 36% (453/1258) remote: Counting objects: 37% (466/1258) remote: Counting objects: 38% (479/1258) remote: Counting objects: 39% (491/1258) remote: Counting objects: 40% (504/1258) remote: Counting objects: 41% (516/1258) remote: Counting objects: 42% (529/1258) remote: Counting objects: 43% (541/1258) remote: Counting objects: 44% (554/1258) remote: Counting objects: 45% (567/1258) remote: Counting objects: 46% (579/1258) remote: Counting objects: 47% (592/1258) remote: Counting objects: 48% (604/1258) remote: Counting objects: 49% (617/1258) remote: Counting objects: 50% (629/1258) remote: Counting objects: 51% (642/1258) remote: Counting objects: 52% (655/1258) remote: Counting objects: 53% (667/1258) remote: Counting objects: 54% (680/1258) remote: Counting objects: 55% (692/1258) remote: Counting objects: 56% (705/1258) remote: Counting objects: 57% (718/1258) remote: Counting objects: 58% (730/1258) remote: Counting objects: 59% (743/1258) remote: Counting objects: 60% (755/1258) remote: Counting objects: 61% (768/1258) remote: Counting objects: 62% (780/1258) remote: Counting objects: 63% (793/1258) remote: Counting objects: 64% (806/1258) remote: Counting objects: 65% (818/1258) remote: Counting objects: 66% (831/1258) remote: Counting objects: 67% (843/1258) remote: Counting objects: 68% (856/1258) remote: Counting objects: 69% (869/1258) remote: Counting objects: 70% (881/1258) remote: Counting objects: 71% (894/1258) remote: Counting objects: 72% (906/1258) remote: Counting objects: 73% (919/1258) remote: Counting objects: 74% (931/1258) remote: Counting objects: 75% (944/1258) remote: Counting objects: 76% (957/1258) remote: Counting objects: 77% (969/1258) remote: Counting objects: 78% (982/1258) remote: Counting objects: 79% (994/1258) remote: Counting objects: 80% (1007/1258) remote: Counting objects: 81% (1019/1258) remote: Counting objects: 82% (1032/1258) remote: Counting objects: 83% (1045/1258) remote: Counting objects: 84% (1057/1258) remote: Counting objects: 85% (1070/1258) remote: Counting objects: 86% (1082/1258) remote: Counting objects: 87% (1095/1258) remote: Counting objects: 88% (1108/1258) remote: Counting objects: 89% (1120/1258) remote: Counting objects: 90% (1133/1258) remote: Counting objects: 91% (1145/1258) remote: Counting objects: 92% (1158/1258) remote: Counting objects: 93% (1170/1258) remote: Counting objects: 94% (1183/1258) remote: Counting objects: 95% (1196/1258) remote: Counting objects: 96% (1208/1258) remote: Counting objects: 97% (1221/1258) remote: Counting objects: 98% (1233/1258) remote: Counting objects: 99% (1246/1258) remote: Counting objects: 100% (1258/1258) remote: Counting objects: 100% (1258/1258), done. remote: Compressing objects: 0% (1/340) remote: Compressing objects: 1% (4/340) remote: Compressing objects: 2% (7/340) remote: Compressing objects: 3% (11/340) remote: Compressing objects: 4% (14/340) remote: Compressing objects: 5% (17/340) remote: Compressing objects: 6% (21/340) remote: Compressing objects: 7% (24/340) remote: Compressing objects: 8% (28/340) remote: Compressing objects: 9% (31/340) remote: Compressing objects: 10% (34/340) remote: Compressing objects: 11% (38/340) remote: Compressing objects: 12% (41/340) remote: Compressing objects: 13% (45/340) remote: Compressing objects: 14% (48/340) remote: Compressing objects: 15% (51/340) remote: Compressing objects: 16% (55/340) remote: Compressing objects: 17% (58/340) remote: Compressing objects: 18% (62/340) remote: Compressing objects: 19% (65/340) remote: Compressing objects: 20% (68/340) remote: Compressing objects: 21% (72/340) remote: Compressing objects: 22% (75/340) remote: Compressing objects: 23% (79/340) remote: Compressing objects: 24% (82/340) remote: Compressing objects: 25% (85/340) remote: Compressing objects: 26% (89/340) remote: Compressing objects: 27% (92/340) remote: Compressing objects: 28% (96/340) remote: Compressing objects: 29% (99/340) remote: Compressing objects: 30% (102/340) remote: Compressing objects: 31% (106/340) remote: Compressing objects: 32% (109/340) remote: Compressing objects: 33% (113/340) remote: Compressing objects: 34% (116/340) remote: Compressing objects: 35% (119/340) remote: Compressing objects: 36% (123/340) remote: Compressing objects: 37% (126/340) remote: Compressing objects: 38% (130/340) remote: Compressing objects: 39% (133/340) remote: Compressing objects: 40% (136/340) remote: Compressing objects: 41% (140/340) remote: Compressing objects: 42% (143/340) remote: Compressing objects: 43% (147/340) remote: Compressing objects: 44% (150/340) remote: Compressing objects: 45% (153/340) remote: Compressing objects: 46% (157/340) remote: Compressing objects: 47% (160/340) remote: Compressing objects: 48% (164/340) remote: Compressing objects: 49% (167/340) remote: Compressing objects: 50% (170/340) remote: Compressing objects: 51% (174/340) remote: Compressing objects: 52% (177/340) remote: Compressing objects: 53% (181/340) remote: Compressing objects: 54% (184/340) remote: Compressing objects: 55% (187/340) remote: Compressing objects: 56% (191/340) remote: Compressing objects: 57% (194/340) remote: Compressing objects: 58% (198/340) remote: Compressing objects: 59% (201/340) remote: Compressing objects: 60% (204/340) remote: Compressing objects: 61% (208/340) remote: Compressing objects: 62% (211/340) remote: Compressing objects: 63% (215/340) remote: Compressing objects: 64% (218/340) remote: Compressing objects: 65% (221/340) remote: Compressing objects: 66% (225/340) remote: Compressing objects: 67% (228/340) remote: Compressing objects: 68% (232/340) remote: Compressing objects: 69% (235/340) remote: Compressing objects: 70% (238/340) remote: Compressing objects: 71% (242/340) remote: Compressing objects: 72% (245/340) remote: Compressing objects: 73% (249/340) remote: Compressing objects: 74% (252/340) remote: Compressing objects: 75% (255/340) remote: Compressing objects: 76% (259/340) remote: Compressing objects: 77% (262/340) remote: Compressing objects: 78% (266/340) remote: Compressing objects: 79% (269/340) remote: Compressing objects: 80% (272/340) remote: Compressing objects: 81% (276/340) remote: Compressing objects: 82% (279/340) remote: Compressing objects: 83% (283/340) remote: Compressing objects: 84% (286/340) remote: Compressing objects: 85% (289/340) remote: Compressing objects: 86% (293/340) remote: Compressing objects: 87% (296/340) remote: Compressing objects: 88% (300/340) remote: Compressing objects: 89% (303/340) remote: Compressing objects: 90% (306/340) remote: Compressing objects: 91% (310/340) remote: Compressing objects: 92% (313/340) remote: Compressing objects: 93% (317/340) remote: Compressing objects: 94% (320/340) remote: Compressing objects: 95% (323/340) remote: Compressing objects: 96% (327/340) remote: Compressing objects: 97% (330/340) remote: Compressing objects: 98% (334/340) remote: Compressing objects: 99% (337/340) remote: Compressing objects: 100% (340/340) remote: Compressing objects: 100% (340/340), done. Receiving objects: 0% (1/4701) Receiving objects: 1% (48/4701) Receiving objects: 2% (95/4701) Receiving objects: 3% (142/4701) Receiving objects: 4% (189/4701) Receiving objects: 5% (236/4701) Receiving objects: 6% (283/4701) Receiving objects: 7% (330/4701) Receiving objects: 8% (377/4701) Receiving objects: 9% (424/4701) Receiving objects: 10% (471/4701) Receiving objects: 11% (518/4701) Receiving objects: 12% (565/4701) Receiving objects: 13% (612/4701) Receiving objects: 14% (659/4701) Receiving objects: 15% (706/4701) Receiving objects: 16% (753/4701) Receiving objects: 17% (800/4701) Receiving objects: 18% (847/4701) Receiving objects: 19% (894/4701) Receiving objects: 20% (941/4701) Receiving objects: 21% (988/4701) Receiving objects: 22% (1035/4701) Receiving objects: 23% (1082/4701) Receiving objects: 24% (1129/4701) Receiving objects: 25% (1176/4701) Receiving objects: 26% (1223/4701) Receiving objects: 27% (1270/4701) Receiving objects: 28% (1317/4701) Receiving objects: 29% (1364/4701) Receiving objects: 30% (1411/4701) Receiving objects: 31% (1458/4701) Receiving objects: 32% (1505/4701) Receiving objects: 33% (1552/4701) Receiving objects: 34% (1599/4701) Receiving objects: 35% (1646/4701) Receiving objects: 36% (1693/4701) Receiving objects: 37% (1740/4701) Receiving objects: 38% (1787/4701) Receiving objects: 39% (1834/4701) Receiving objects: 40% (1881/4701) Receiving objects: 41% (1928/4701) Receiving objects: 42% (1975/4701) Receiving objects: 43% (2022/4701) Receiving objects: 44% (2069/4701) Receiving objects: 45% (2116/4701) Receiving objects: 46% (2163/4701) Receiving objects: 47% (2210/4701) Receiving objects: 48% (2257/4701) Receiving objects: 49% (2304/4701) Receiving objects: 50% (2351/4701) Receiving objects: 51% (2398/4701) Receiving objects: 52% (2445/4701) Receiving objects: 53% (2492/4701) Receiving objects: 54% (2539/4701) Receiving objects: 55% (2586/4701) Receiving objects: 56% (2633/4701) Receiving objects: 57% (2680/4701) Receiving objects: 58% (2727/4701) Receiving objects: 59% (2774/4701) Receiving objects: 60% (2821/4701) Receiving objects: 61% (2868/4701) Receiving objects: 62% (2915/4701) Receiving objects: 63% (2962/4701) Receiving objects: 64% (3009/4701) Receiving objects: 65% (3056/4701) Receiving objects: 66% (3103/4701) Receiving objects: 67% (3150/4701) Receiving objects: 68% (3197/4701) Receiving objects: 69% (3244/4701) Receiving objects: 70% (3291/4701) Receiving objects: 71% (3338/4701) Receiving objects: 72% (3385/4701) Receiving objects: 73% (3432/4701) Receiving objects: 74% (3479/4701) Receiving objects: 75% (3526/4701) Receiving objects: 76% (3573/4701) Receiving objects: 77% (3620/4701) Receiving objects: 78% (3667/4701) Receiving objects: 79% (3714/4701) Receiving objects: 80% (3761/4701) Receiving objects: 81% (3808/4701) Receiving objects: 82% (3855/4701) Receiving objects: 83% (3902/4701) Receiving objects: 84% (3949/4701) Receiving objects: 85% (3996/4701) Receiving objects: 86% (4043/4701) Receiving objects: 87% (4090/4701) Receiving objects: 88% (4137/4701) Receiving objects: 89% (4184/4701) Receiving objects: 90% (4231/4701) Receiving objects: 91% (4278/4701) Receiving objects: 92% (4325/4701) Receiving objects: 93% (4372/4701) Receiving objects: 94% (4419/4701) Receiving objects: 95% (4466/4701) Receiving objects: 96% (4513/4701) Receiving objects: 97% (4560/4701) Receiving objects: 98% (4607/4701) Receiving objects: 99% (4654/4701) remote: Total 4701 (delta 1081), reused 1047 (delta 913), pack-reused 3443 Receiving objects: 100% (4701/4701) Receiving objects: 100% (4701/4701), 3.28 MiB | 15.86 MiB/s, done. Resolving deltas: 0% (0/3875) Resolving deltas: 1% (39/3875) Resolving deltas: 2% (78/3875) Resolving deltas: 3% (117/3875) Resolving deltas: 4% (155/3875) Resolving deltas: 5% (194/3875) Resolving deltas: 6% (233/3875) Resolving deltas: 7% (272/3875) Resolving deltas: 8% (310/3875) Resolving deltas: 9% (349/3875) Resolving deltas: 10% (388/3875) Resolving deltas: 11% (427/3875) Resolving deltas: 12% (465/3875) Resolving deltas: 13% (504/3875) Resolving deltas: 14% (543/3875) Resolving deltas: 15% (582/3875) Resolving deltas: 16% (620/3875) Resolving deltas: 17% (659/3875) Resolving deltas: 18% (698/3875) Resolving deltas: 19% (737/3875) Resolving deltas: 20% (775/3875) Resolving deltas: 21% (814/3875) Resolving deltas: 22% (853/3875) Resolving deltas: 23% (892/3875) Resolving deltas: 24% (930/3875) Resolving deltas: 25% (969/3875) Resolving deltas: 26% (1008/3875) Resolving deltas: 27% (1047/3875) Resolving deltas: 28% (1085/3875) Resolving deltas: 29% (1124/3875) Resolving deltas: 30% (1163/3875) Resolving deltas: 31% (1202/3875) Resolving deltas: 32% (1240/3875) Resolving deltas: 33% (1279/3875) Resolving deltas: 34% (1318/3875) Resolving deltas: 35% (1357/3875) Resolving deltas: 36% (1395/3875) Resolving deltas: 37% (1434/3875) Resolving deltas: 38% (1473/3875) Resolving deltas: 39% (1512/3875) Resolving deltas: 40% (1550/3875) Resolving deltas: 41% (1589/3875) Resolving deltas: 42% (1628/3875) Resolving deltas: 43% (1667/3875) Resolving deltas: 44% (1705/3875) Resolving deltas: 45% (1744/3875) Resolving deltas: 46% (1783/3875) Resolving deltas: 47% (1822/3875) Resolving deltas: 48% (1860/3875) Resolving deltas: 49% (1899/3875) Resolving deltas: 50% (1938/3875) Resolving deltas: 51% (1977/3875) Resolving deltas: 52% (2015/3875) Resolving deltas: 53% (2054/3875) Resolving deltas: 54% (2093/3875) Resolving deltas: 55% (2132/3875) Resolving deltas: 56% (2170/3875) Resolving deltas: 57% (2209/3875) Resolving deltas: 58% (2248/3875) Resolving deltas: 59% (2287/3875) Resolving deltas: 60% (2325/3875) Resolving deltas: 61% (2364/3875) Resolving deltas: 62% (2403/3875) Resolving deltas: 63% (2442/3875) Resolving deltas: 64% (2480/3875) Resolving deltas: 65% (2519/3875) Resolving deltas: 66% (2558/3875) Resolving deltas: 67% (2597/3875) Resolving deltas: 68% (2635/3875) Resolving deltas: 69% (2674/3875) Resolving deltas: 70% (2713/3875) Resolving deltas: 71% (2752/3875) Resolving deltas: 72% (2790/3875) Resolving deltas: 73% (2829/3875) Resolving deltas: 74% (2868/3875) Resolving deltas: 75% (2907/3875) Resolving deltas: 76% (2945/3875) Resolving deltas: 77% (2984/3875) Resolving deltas: 78% (3023/3875) Resolving deltas: 79% (3062/3875) Resolving deltas: 80% (3100/3875) Resolving deltas: 81% (3139/3875) Resolving deltas: 82% (3178/3875) Resolving deltas: 83% (3217/3875) Resolving deltas: 84% (3255/3875) Resolving deltas: 85% (3294/3875) Resolving deltas: 86% (3333/3875) Resolving deltas: 87% (3372/3875) Resolving deltas: 88% (3410/3875) Resolving deltas: 89% (3449/3875) Resolving deltas: 90% (3488/3875) Resolving deltas: 91% (3527/3875) Resolving deltas: 92% (3565/3875) Resolving deltas: 93% (3604/3875) Resolving deltas: 94% (3643/3875) Resolving deltas: 95% (3682/3875) Resolving deltas: 96% (3720/3875) Resolving deltas: 97% (3759/3875) Resolving deltas: 98% (3798/3875) Resolving deltas: 99% (3837/3875) Resolving deltas: 100% (3875/3875) Resolving deltas: 100% (3875/3875), done. Note: Migrating lockfile from /home/runner/work/alire-crates-ci/alire-crates-ci/test/4f81c584-3408-41f9-8ccc-d03bcdfc7e9b/spat_1.3.0_4ad4ab14/alire.lock to /home/runner/work/alire-crates-ci/alire-crates-ci/test/4f81c584-3408-41f9-8ccc-d03bcdfc7e9b/spat_1.3.0_4ad4ab14/alire/alire.lock Note: Deploying release si_units=0.2.0... Cloning into '/home/runner/work/alire-crates-ci/alire-crates-ci/test/4f81c584-3408-41f9-8ccc-d03bcdfc7e9b/spat_1.3.0_4ad4ab14/alire/cache/dependencies/alr-ysjt.tmp'... remote: Enumerating objects: 317, done. remote: Counting objects: 1% (1/71) remote: Counting objects: 2% (2/71) remote: Counting objects: 4% (3/71) remote: Counting objects: 5% (4/71) remote: Counting objects: 7% (5/71) remote: Counting objects: 8% (6/71) remote: Counting objects: 9% (7/71) remote: Counting objects: 11% (8/71) remote: Counting objects: 12% (9/71) remote: Counting objects: 14% (10/71) remote: Counting objects: 15% (11/71) remote: Counting objects: 16% (12/71) remote: Counting objects: 18% (13/71) remote: Counting objects: 19% (14/71) remote: Counting objects: 21% (15/71) remote: Counting objects: 22% (16/71) remote: Counting objects: 23% (17/71) remote: Counting objects: 25% (18/71) remote: Counting objects: 26% (19/71) remote: Counting objects: 28% (20/71) remote: Counting objects: 29% (21/71) remote: Counting objects: 30% (22/71) remote: Counting objects: 32% (23/71) remote: Counting objects: 33% (24/71) remote: Counting objects: 35% (25/71) remote: Counting objects: 36% (26/71) remote: Counting objects: 38% (27/71) remote: Counting objects: 39% (28/71) remote: Counting objects: 40% (29/71) remote: Counting objects: 42% (30/71) remote: Counting objects: 43% (31/71) remote: Counting objects: 45% (32/71) remote: Counting objects: 46% (33/71) remote: Counting objects: 47% (34/71) remote: Counting objects: 49% (35/71) remote: Counting objects: 50% (36/71) remote: Counting objects: 52% (37/71) remote: Counting objects: 53% (38/71) remote: Counting objects: 54% (39/71) remote: Counting objects: 56% (40/71) remote: Counting objects: 57% (41/71) remote: Counting objects: 59% (42/71) remote: Counting objects: 60% (43/71) remote: Counting objects: 61% (44/71) remote: Counting objects: 63% (45/71) remote: Counting objects: 64% (46/71) remote: Counting objects: 66% (47/71) remote: Counting objects: 67% (48/71) remote: Counting objects: 69% (49/71) remote: Counting objects: 70% (50/71) remote: Counting objects: 71% (51/71) remote: Counting objects: 73% (52/71) remote: Counting objects: 74% (53/71) remote: Counting objects: 76% (54/71) remote: Counting objects: 77% (55/71) remote: Counting objects: 78% (56/71) remote: Counting objects: 80% (57/71) remote: Counting objects: 81% (58/71) remote: Counting objects: 83% (59/71) remote: Counting objects: 84% (60/71) remote: Counting objects: 85% (61/71) remote: Counting objects: 87% (62/71) remote: Counting objects: 88% (63/71) remote: Counting objects: 90% (64/71) remote: Counting objects: 91% (65/71) remote: Counting objects: 92% (66/71) remote: Counting objects: 94% (67/71) remote: Counting objects: 95% (68/71) remote: Counting objects: 97% (69/71) remote: Counting objects: 98% (70/71) remote: Counting objects: 100% (71/71) remote: Counting objects: 100% (71/71), done. remote: Compressing objects: 2% (1/50) remote: Compressing objects: 4% (2/50) remote: Compressing objects: 6% (3/50) remote: Compressing objects: 8% (4/50) remote: Compressing objects: 10% (5/50) remote: Compressing objects: 12% (6/50) remote: Compressing objects: 14% (7/50) remote: Compressing objects: 16% (8/50) remote: Compressing objects: 18% (9/50) remote: Compressing objects: 20% (10/50) remote: Compressing objects: 22% (11/50) remote: Compressing objects: 24% (12/50) remote: Compressing objects: 26% (13/50) remote: Compressing objects: 28% (14/50) remote: Compressing objects: 30% (15/50) remote: Compressing objects: 32% (16/50) remote: Compressing objects: 34% (17/50) remote: Compressing objects: 36% (18/50) remote: Compressing objects: 38% (19/50) remote: Compressing objects: 40% (20/50) remote: Compressing objects: 42% (21/50) remote: Compressing objects: 44% (22/50) remote: Compressing objects: 46% (23/50) remote: Compressing objects: 48% (24/50) remote: Compressing objects: 50% (25/50) remote: Compressing objects: 52% (26/50) remote: Compressing objects: 54% (27/50) remote: Compressing objects: 56% (28/50) remote: Compressing objects: 58% (29/50) remote: Compressing objects: 60% (30/50) remote: Compressing objects: 62% (31/50) remote: Compressing objects: 64% (32/50) remote: Compressing objects: 66% (33/50) remote: Compressing objects: 68% (34/50) remote: Compressing objects: 70% (35/50) remote: Compressing objects: 72% (36/50) remote: Compressing objects: 74% (37/50) remote: Compressing objects: 76% (38/50) remote: Compressing objects: 78% (39/50) remote: Compressing objects: 80% (40/50) remote: Compressing objects: 82% (41/50) remote: Compressing objects: 84% (42/50) remote: Compressing objects: 86% (43/50) remote: Compressing objects: 88% (44/50) remote: Compressing objects: 90% (45/50) remote: Compressing objects: 92% (46/50) remote: Compressing objects: 94% (47/50) remote: Compressing objects: 96% (48/50) remote: Compressing objects: 98% (49/50) remote: Compressing objects: 100% (50/50) remote: Compressing objects: 100% (50/50), done. Receiving objects: 0% (1/317) Receiving objects: 1% (4/317) Receiving objects: 2% (7/317) Receiving objects: 3% (10/317) Receiving objects: 4% (13/317) Receiving objects: 5% (16/317) Receiving objects: 6% (20/317) Receiving objects: 7% (23/317) Receiving objects: 8% (26/317) Receiving objects: 9% (29/317) Receiving objects: 10% (32/317) Receiving objects: 11% (35/317) Receiving objects: 12% (39/317) Receiving objects: 13% (42/317) Receiving objects: 14% (45/317) Receiving objects: 15% (48/317) Receiving objects: 16% (51/317) Receiving objects: 17% (54/317) Receiving objects: 18% (58/317) Receiving objects: 19% (61/317) Receiving objects: 20% (64/317) Receiving objects: 21% (67/317) Receiving objects: 22% (70/317) Receiving objects: 23% (73/317) Receiving objects: 24% (77/317) Receiving objects: 25% (80/317) Receiving objects: 26% (83/317) Receiving objects: 27% (86/317) Receiving objects: 28% (89/317) Receiving objects: 29% (92/317) Receiving objects: 30% (96/317) Receiving objects: 31% (99/317) Receiving objects: 32% (102/317) Receiving objects: 33% (105/317) Receiving objects: 34% (108/317) Receiving objects: 35% (111/317) Receiving objects: 36% (115/317) Receiving objects: 37% (118/317) Receiving objects: 38% (121/317) Receiving objects: 39% (124/317) Receiving objects: 40% (127/317) Receiving objects: 41% (130/317) Receiving objects: 42% (134/317) Receiving objects: 43% (137/317) Receiving objects: 44% (140/317) Receiving objects: 45% (143/317) Receiving objects: 46% (146/317) Receiving objects: 47% (149/317) Receiving objects: 48% (153/317) Receiving objects: 49% (156/317) Receiving objects: 50% (159/317) Receiving objects: 51% (162/317) Receiving objects: 52% (165/317) Receiving objects: 53% (169/317) Receiving objects: 54% (172/317) Receiving objects: 55% (175/317) Receiving objects: 56% (178/317) Receiving objects: 57% (181/317) Receiving objects: 58% (184/317) Receiving objects: 59% (188/317) Receiving objects: 60% (191/317) Receiving objects: 61% (194/317) Receiving objects: 62% (197/317) Receiving objects: 63% (200/317) Receiving objects: 64% (203/317) Receiving objects: 65% (207/317) Receiving objects: 66% (210/317) Receiving objects: 67% (213/317) Receiving objects: 68% (216/317) Receiving objects: 69% (219/317) Receiving objects: 70% (222/317) Receiving objects: 71% (226/317) Receiving objects: 72% (229/317) Receiving objects: 73% (232/317) Receiving objects: 74% (235/317) Receiving objects: 75% (238/317) remote: Total 317 (delta 30), reused 43 (delta 17), pack-reused 246 Receiving objects: 76% (241/317) Receiving objects: 77% (245/317) Receiving objects: 78% (248/317) Receiving objects: 79% (251/317) Receiving objects: 80% (254/317) Receiving objects: 81% (257/317) Receiving objects: 82% (260/317) Receiving objects: 83% (264/317) Receiving objects: 84% (267/317) Receiving objects: 85% (270/317) Receiving objects: 86% (273/317) Receiving objects: 87% (276/317) Receiving objects: 88% (279/317) Receiving objects: 89% (283/317) Receiving objects: 90% (286/317) Receiving objects: 91% (289/317) Receiving objects: 92% (292/317) Receiving objects: 93% (295/317) Receiving objects: 94% (298/317) Receiving objects: 95% (302/317) Receiving objects: 96% (305/317) Receiving objects: 97% (308/317) Receiving objects: 98% (311/317) Receiving objects: 99% (314/317) Receiving objects: 100% (317/317) Receiving objects: 100% (317/317), 119.84 KiB | 3.00 MiB/s, done. Resolving deltas: 0% (0/150) Resolving deltas: 1% (2/150) Resolving deltas: 2% (3/150) Resolving deltas: 3% (5/150) Resolving deltas: 4% (6/150) Resolving deltas: 5% (8/150) Resolving deltas: 6% (9/150) Resolving deltas: 7% (11/150) Resolving deltas: 8% (12/150) Resolving deltas: 9% (14/150) Resolving deltas: 10% (15/150) Resolving deltas: 11% (17/150) Resolving deltas: 12% (18/150) Resolving deltas: 13% (20/150) Resolving deltas: 14% (21/150) Resolving deltas: 15% (23/150) Resolving deltas: 16% (24/150) Resolving deltas: 17% (26/150) Resolving deltas: 18% (27/150) Resolving deltas: 19% (29/150) Resolving deltas: 20% (30/150) Resolving deltas: 21% (32/150) Resolving deltas: 22% (33/150) Resolving deltas: 23% (35/150) Resolving deltas: 24% (36/150) Resolving deltas: 25% (38/150) Resolving deltas: 26% (39/150) Resolving deltas: 27% (41/150) Resolving deltas: 28% (42/150) Resolving deltas: 29% (44/150) Resolving deltas: 30% (45/150) Resolving deltas: 31% (47/150) Resolving deltas: 32% (48/150) Resolving deltas: 33% (50/150) Resolving deltas: 34% (51/150) Resolving deltas: 35% (53/150) Resolving deltas: 36% (54/150) Resolving deltas: 37% (56/150) Resolving deltas: 38% (57/150) Resolving deltas: 39% (59/150) Resolving deltas: 40% (60/150) Resolving deltas: 41% (62/150) Resolving deltas: 42% (63/150) Resolving deltas: 43% (65/150) Resolving deltas: 44% (66/150) Resolving deltas: 45% (68/150) Resolving deltas: 46% (69/150) Resolving deltas: 47% (71/150) Resolving deltas: 48% (72/150) Resolving deltas: 49% (74/150) Resolving deltas: 50% (75/150) Resolving deltas: 51% (77/150) Resolving deltas: 52% (78/150) Resolving deltas: 53% (80/150) Resolving deltas: 54% (81/150) Resolving deltas: 55% (83/150) Resolving deltas: 56% (84/150) Resolving deltas: 57% (86/150) Resolving deltas: 58% (87/150) Resolving deltas: 59% (89/150) Resolving deltas: 60% (90/150) Resolving deltas: 61% (92/150) Resolving deltas: 62% (93/150) Resolving deltas: 63% (95/150) Resolving deltas: 64% (96/150) Resolving deltas: 65% (98/150) Resolving deltas: 66% (99/150) Resolving deltas: 67% (101/150) Resolving deltas: 68% (102/150) Resolving deltas: 69% (104/150) Resolving deltas: 70% (105/150) Resolving deltas: 71% (107/150) Resolving deltas: 72% (108/150) Resolving deltas: 73% (110/150) Resolving deltas: 74% (111/150) Resolving deltas: 75% (113/150) Resolving deltas: 76% (114/150) Resolving deltas: 77% (116/150) Resolving deltas: 78% (117/150) Resolving deltas: 79% (119/150) Resolving deltas: 80% (120/150) Resolving deltas: 81% (122/150) Resolving deltas: 82% (123/150) Resolving deltas: 83% (125/150) Resolving deltas: 84% (126/150) Resolving deltas: 85% (128/150) Resolving deltas: 86% (129/150) Resolving deltas: 87% (131/150) Resolving deltas: 88% (132/150) Resolving deltas: 89% (134/150) Resolving deltas: 90% (135/150) Resolving deltas: 91% (137/150) Resolving deltas: 92% (138/150) Resolving deltas: 93% (140/150) Resolving deltas: 94% (141/150) Resolving deltas: 95% (143/150) Resolving deltas: 96% (144/150) Resolving deltas: 97% (146/150) Resolving deltas: 98% (147/150) Resolving deltas: 99% (149/150) Resolving deltas: 100% (150/150) Resolving deltas: 100% (150/150), done. spat.gpr:1:06: imported project file "gnatcoll" not found gprbuild: "spat.gpr" processing failed stderr: Command ["gprbuild", "-gnatwU", "-j0", "-p", "-P", "spat.gpr"] exited with code 4 ERROR: Command ["gprbuild", "-gnatwU", "-j0", "-p", "-P", "spat.gpr"] exited with code 4 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