test packages.x86_64-linux.nix-ci-check-gammaloop-nextest-integration

Reproduce this run
  1. 0.00 s $ /nix/store/9ypz3flqsrl5xl495mm8h645gadjsxi1-coreutils-9.11/bin/timeout --kill-after=15s 7200s /nix/store/23zk8sgzamrbmj1fday15szf7f2279s8-nix-2.34.7/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes flake clone git+https://github.com/alphal00p/gammaloop --dest /tmp/nix-ci-worker/stable-pwd/repo/
  2. 0.07 s Cloning into '/tmp/nix-ci-worker/stable-pwd/repo'...
  3. 0.78 s remote: Enumerating objects: 93895, done.
  4. 0.89 s remote: Counting objects: 0% (1/9216) remote: Counting objects: 1% (93/9216) remote: Counting objects: 2% (185/9216) remote: Counting objects: 3% (277/9216) remote: Counting objects: 4% (369/9216) remote: Counting objects: 5% (461/9216) remote: Counting objects: 6% (553/9216) remote: Counting objects: 7% (646/9216) remote: Counting objects: 8% (738/9216) remote: Counting objects: 9% (830/9216) remote: Counting objects: 10% (922/9216) remote: Counting objects: 11% (1014/9216) remote: Counting objects: 12% (1106/9216) remote: Counting objects: 13% (1199/9216) remote: Counting objects: 14% (1291/9216) remote: Counting objects: 15% (1383/9216) remote: Counting objects: 16% (1475/9216) remote: Counting objects: 17% (1567/9216) remote: Counting objects: 18% (1659/9216) remote: Counting objects: 19% (1752/9216) remote: Counting objects: 20% (1844/9216) remote: Counting objects: 21% (1936/9216) remote: Counting objects: 22% (2028/9216) remote: Counting objects: 23% (2120/9216) remote: Counting objects: 24% (2212/9216) remote: Counting objects: 25% (2304/9216) remote: Counting objects: 26% (2397/9216) remote: Counting objects: 27% (2489/9216) remote: Counting objects: 28% (2581/9216) remote: Counting objects: 29% (2673/9216) remote: Counting objects: 30% (2765/9216) remote: Counting objects: 31% (2857/9216) remote: Counting objects: 32% (2950/9216) remote: Counting objects: 33% (3042/9216) remote: Counting objects: 34% (3134/9216) remote: Counting objects: 35% (3226/9216) remote: Counting objects: 36% (3318/9216) remote: Counting objects: 37% (3410/9216) remote: Counting objects: 38% (3503/9216) remote: Counting objects: 39% (3595/9216) remote: Counting objects: 40% (3687/9216) remote: Counting objects: 41% (3779/9216) remote: Counting objects: 42% (3871/9216) remote: Counting objects: 43% (3963/9216) remote: Counting objects: 44% (4056/9216) remote: Counting objects: 45% (4148/9216) remote: Counting objects: 46% (4240/9216) remote: Counting objects: 47% (4332/9216) remote: Counting objects: 48% (4424/9216) remote: Counting objects: 49% (4516/9216) remote: Counting objects: 50% (4608/9216) remote: Counting objects: 51% (4701/9216) remote: Counting objects: 52% (4793/9216) remote: Counting objects: 53% (4885/9216) remote: Counting objects: 54% (4977/9216) remote: Counting objects: 55% (5069/9216) remote: Counting objects: 56% (5161/9216) remote: Counting objects: 57% (5254/9216) remote: Counting objects: 58% (5346/9216) remote: Counting objects: 59% (5438/9216) remote: Counting objects: 60% (5530/9216) remote: Counting objects: 61% (5622/9216) remote: Counting objects: 62% (5714/9216) remote: Counting objects: 63% (5807/9216) remote: Counting objects: 64% (5899/9216) remote: Counting objects: 65% (5991/9216) remote: Counting objects: 66% (6083/9216) remote: Counting objects: 67% (6175/9216) remote: Counting objects: 68% (6267/9216) remote: Counting objects: 69% (6360/9216) remote: Counting objects: 70% (6452/9216) remote: Counting objects: 71% (6544/9216) remote: Counting objects: 72% (6636/9216) remote: Counting objects: 73% (6728/9216) remote: Counting objects: 74% (6820/9216) remote: Counting objects: 75% (6912/9216) remote: Counting objects: 76% (7005/9216) remote: Counting objects: 77% (7097/9216) remote: Counting objects: 78% (7189/9216) remote: Counting objects: 79% (7281/9216) remote: Counting objects: 80% (7373/9216) remote: Counting objects: 81% (7465/9216) remote: Counting objects: 82% (7558/9216) remote: Counting objects: 83% (7650/9216) remote: Counting objects: 84% (7742/9216) remote: Counting objects: 85% (7834/9216) remote: Counting objects: 86% (7926/9216) remote: Counting objects: 87% (8018/9216) remote: Counting objects: 88% (8111/9216) remote: Counting objects: 89% (8203/9216) remote: Counting objects: 90% (8295/9216) remote: Counting objects: 91% (8387/9216) remote: Counting objects: 92% (8479/9216) remote: Counting objects: 93% (8571/9216) remote: Counting objects: 94% (8664/9216) remote: Counting objects: 95% (8756/9216) remote: Counting objects: 96% (8848/9216) remote: Counting objects: 97% (8940/9216) remote: Counting objects: 98% (9032/9216) remote: Counting objects: 99% (9124/9216) remote: Counting objects: 100% (9216/9216) remote: Counting objects: 100% (9216/9216), done.
  5. 2.97 s remote: Compressing objects: 0% (1/1936) remote: Compressing objects: 1% (20/1936) remote: Compressing objects: 2% (39/1936) remote: Compressing objects: 3% (59/1936) remote: Compressing objects: 4% (78/1936) remote: Compressing objects: 5% (97/1936) remote: Compressing objects: 6% (117/1936) remote: Compressing objects: 7% (136/1936) remote: Compressing objects: 8% (155/1936) remote: Compressing objects: 8% (172/1936) remote: Compressing objects: 9% (175/1936) remote: Compressing objects: 10% (194/1936) remote: Compressing objects: 11% (213/1936) remote: Compressing objects: 12% (233/1936) remote: Compressing objects: 13% (252/1936) remote: Compressing objects: 14% (272/1936) remote: Compressing objects: 15% (291/1936) remote: Compressing objects: 16% (310/1936) remote: Compressing objects: 17% (330/1936) remote: Compressing objects: 18% (349/1936) remote: Compressing objects: 19% (368/1936) remote: Compressing objects: 20% (388/1936) remote: Compressing objects: 21% (407/1936) remote: Compressing objects: 22% (426/1936) remote: Compressing objects: 23% (446/1936) remote: Compressing objects: 24% (465/1936) remote: Compressing objects: 25% (484/1936) remote: Compressing objects: 26% (504/1936) remote: Compressing objects: 26% (508/1936) remote: Compressing objects: 27% (523/1936) remote: Compressing objects: 28% (543/1936) remote: Compressing objects: 29% (562/1936) remote: Compressing objects: 30% (581/1936) remote: Compressing objects: 31% (601/1936) remote: Compressing objects: 32% (620/1936) remote: Compressing objects: 33% (639/1936) remote: Compressing objects: 34% (659/1936) remote: Compressing objects: 35% (678/1936) remote: Compressing objects: 36% (697/1936) remote: Compressing objects: 37% (717/1936) remote: Compressing objects: 38% (736/1936) remote: Compressing objects: 39% (756/1936) remote: Compressing objects: 40% (775/1936) remote: Compressing objects: 41% (794/1936) remote: Compressing objects: 42% (814/1936) remote: Compressing objects: 43% (833/1936) remote: Compressing objects: 44% (852/1936) remote: Compressing objects: 45% (872/1936) remote: Compressing objects: 46% (891/1936) remote: Compressing objects: 47% (910/1936) remote: Compressing objects: 48% (930/1936) remote: Compressing objects: 49% (949/1936) remote: Compressing objects: 50% (968/1936) remote: Compressing objects: 51% (988/1936) remote: Compressing objects: 52% (1007/1936) remote: Compressing objects: 53% (1027/1936) remote: Compressing objects: 54% (1046/1936) remote: Compressing objects: 55% (1065/1936) remote: Compressing objects: 56% (1085/1936) remote: Compressing objects: 57% (1104/1936) remote: Compressing objects: 58% (1123/1936) remote: Compressing objects: 59% (1143/1936) remote: Compressing objects: 60% (1162/1936) remote: Compressing objects: 61% (1181/1936) remote: Compressing objects: 62% (1201/1936) remote: Compressing objects: 63% (1220/1936) remote: Compressing objects: 64% (1240/1936) remote: Compressing objects: 65% (1259/1936) remote: Compressing objects: 66% (1278/1936) remote: Compressing objects: 67% (1298/1936) remote: Compressing objects: 68% (1317/1936) remote: Compressing objects: 69% (1336/1936) remote: Compressing objects: 70% (1356/1936) remote: Compressing objects: 71% (1375/1936) remote: Compressing objects: 72% (1394/1936) remote: Compressing objects: 73% (1414/1936) remote: Compressing objects: 74% (1433/1936) remote: Compressing objects: 75% (1452/1936) remote: Compressing objects: 76% (1472/1936) remote: Compressing objects: 77% (1491/1936) remote: Compressing objects: 78% (1511/1936) remote: Compressing objects: 79% (1530/1936) remote: Compressing objects: 80% (1549/1936) remote: Compressing objects: 81% (1569/1936) remote: Compressing objects: 82% (1588/1936) remote: Compressing objects: 83% (1607/1936) remote: Compressing objects: 84% (1627/1936) remote: Compressing objects: 85% (1646/1936) remote: Compressing objects: 86% (1665/1936) remote: Compressing objects: 87% (1685/1936) remote: Compressing objects: 88% (1704/1936) remote: Compressing objects: 89% (1724/1936) remote: Compressing objects: 90% (1743/1936) remote: Compressing objects: 91% (1762/1936) remote: Compressing objects: 92% (1782/1936) remote: Compressing objects: 93% (1801/1936) remote: Compressing objects: 94% (1820/1936) remote: Compressing objects: 95% (1840/1936) remote: Compressing objects: 96% (1859/1936) remote: Compressing objects: 97% (1878/1936) remote: Compressing objects: 98% (1898/1936) remote: Compressing objects: 99% (1917/1936) remote: Compressing objects: 100% (1936/1936) remote: Compressing objects: 100% (1936/1936), done.
  6. 20.56 s Receiving objects: 0% (1/93895) Receiving objects: 1% (939/93895) Receiving objects: 2% (1878/93895) Receiving objects: 3% (2817/93895) Receiving objects: 4% (3756/93895) Receiving objects: 5% (4695/93895) Receiving objects: 6% (5634/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 7% (6573/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 8% (7512/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 9% (8451/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 10% (9390/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 11% (10329/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 12% (11268/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 13% (12207/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 14% (13146/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 15% (14085/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 16% (15024/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 17% (15963/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 18% (16902/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 19% (17841/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 20% (18779/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 21% (19718/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 22% (20657/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 23% (21596/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 24% (22535/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 25% (23474/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 26% (24413/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 27% (25352/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 28% (26291/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 29% (27230/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 30% (28169/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 31% (29108/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 32% (30047/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 33% (30986/93895), 9.16 MiB | 18.30 MiB/s Receiving objects: 33% (31444/93895), 28.04 MiB | 27.87 MiB/s Receiving objects: 34% (31925/93895), 28.04 MiB | 27.87 MiB/s Receiving objects: 35% (32864/93895), 28.04 MiB | 27.87 MiB/s Receiving objects: 36% (33803/93895), 28.04 MiB | 27.87 MiB/s Receiving objects: 37% (34742/93895), 28.04 MiB | 27.87 MiB/s Receiving objects: 38% (35681/93895), 28.04 MiB | 27.87 MiB/s Receiving objects: 39% (36620/93895), 28.04 MiB | 27.87 MiB/s Receiving objects: 40% (37558/93895), 28.04 MiB | 27.87 MiB/s Receiving objects: 41% (38497/93895), 42.89 MiB | 28.50 MiB/s Receiving objects: 42% (39436/93895), 42.89 MiB | 28.50 MiB/s Receiving objects: 43% (40375/93895), 42.89 MiB | 28.50 MiB/s Receiving objects: 44% (41314/93895), 42.89 MiB | 28.50 MiB/s Receiving objects: 45% (42253/93895), 42.89 MiB | 28.50 MiB/s Receiving objects: 46% (43192/93895), 42.89 MiB | 28.50 MiB/s Receiving objects: 47% (44131/93895), 42.89 MiB | 28.50 MiB/s Receiving objects: 48% (45070/93895), 42.89 MiB | 28.50 MiB/s Receiving objects: 49% (46009/93895), 42.89 MiB | 28.50 MiB/s Receiving objects: 49% (46403/93895), 57.56 MiB | 28.66 MiB/s Receiving objects: 50% (46948/93895), 57.56 MiB | 28.66 MiB/s Receiving objects: 51% (47887/93895), 57.56 MiB | 28.66 MiB/s Receiving objects: 52% (48826/93895), 57.56 MiB | 28.66 MiB/s Receiving objects: 53% (49765/93895), 57.56 MiB | 28.66 MiB/s Receiving objects: 54% (50704/93895), 57.56 MiB | 28.66 MiB/s Receiving objects: 55% (51643/93895), 72.46 MiB | 28.88 MiB/s Receiving objects: 56% (52582/93895), 72.46 MiB | 28.88 MiB/s Receiving objects: 57% (53521/93895), 72.46 MiB | 28.88 MiB/s Receiving objects: 58% (54460/93895), 72.46 MiB | 28.88 MiB/s Receiving objects: 59% (55399/93895), 72.46 MiB | 28.88 MiB/s Receiving objects: 60% (56337/93895), 72.46 MiB | 28.88 MiB/s Receiving objects: 60% (57033/93895), 72.46 MiB | 28.88 MiB/s Receiving objects: 60% (57080/93895), 116.32 MiB | 28.99 MiB/s Receiving objects: 60% (57205/93895), 146.74 MiB | 30.49 MiB/s Receiving objects: 61% (57276/93895), 157.76 MiB | 28.79 MiB/s Receiving objects: 61% (57611/93895), 157.76 MiB | 28.79 MiB/s Receiving objects: 61% (57626/93895), 171.00 MiB | 21.87 MiB/s Receiving objects: 61% (57637/93895), 181.05 MiB | 17.64 MiB/s Receiving objects: 62% (58215/93895), 181.05 MiB | 17.64 MiB/s Receiving objects: 63% (59154/93895), 186.39 MiB | 15.56 MiB/s Receiving objects: 64% (60093/93895), 186.39 MiB | 15.56 MiB/s Receiving objects: 65% (61032/93895), 186.39 MiB | 15.56 MiB/s Receiving objects: 65% (61576/93895), 186.39 MiB | 15.56 MiB/s Receiving objects: 66% (61971/93895), 190.46 MiB | 13.12 MiB/s Receiving objects: 67% (62910/93895), 190.46 MiB | 13.12 MiB/s Receiving objects: 67% (63671/93895), 195.09 MiB | 10.74 MiB/s Receiving objects: 68% (63849/93895), 200.04 MiB | 9.38 MiB/s Receiving objects: 69% (64788/93895), 205.23 MiB | 9.56 MiB/s Receiving objects: 69% (65473/93895), 205.23 MiB | 9.56 MiB/s Receiving objects: 70% (65727/93895), 205.23 MiB | 9.56 MiB/s Receiving objects: 71% (66666/93895), 210.67 MiB | 9.82 MiB/s Receiving objects: 72% (67605/93895), 210.67 MiB | 9.82 MiB/s Receiving objects: 73% (68544/93895), 210.67 MiB | 9.82 MiB/s Receiving objects: 74% (69483/93895), 210.67 MiB | 9.82 MiB/s Receiving objects: 75% (70422/93895), 210.67 MiB | 9.82 MiB/s Receiving objects: 76% (71361/93895), 210.67 MiB | 9.82 MiB/s Receiving objects: 77% (72300/93895), 210.67 MiB | 9.82 MiB/s Receiving objects: 78% (73239/93895), 216.29 MiB | 10.06 MiB/s Receiving objects: 79% (74178/93895), 216.29 MiB | 10.06 MiB/s Receiving objects: 79% (74243/93895), 216.29 MiB | 10.06 MiB/s Receiving objects: 80% (75116/93895), 222.31 MiB | 10.31 MiB/s Receiving objects: 81% (76055/93895), 228.64 MiB | 10.57 MiB/s Receiving objects: 81% (76741/93895), 235.27 MiB | 10.85 MiB/s Receiving objects: 82% (76994/93895), 242.22 MiB | 11.49 MiB/s Receiving objects: 82% (77186/93895), 242.22 MiB | 11.49 MiB/s Receiving objects: 83% (77933/93895), 249.50 MiB | 12.08 MiB/s Receiving objects: 84% (78872/93895), 249.50 MiB | 12.08 MiB/s Receiving objects: 85% (79811/93895), 257.12 MiB | 12.67 MiB/s Receiving objects: 86% (80750/93895), 257.12 MiB | 12.67 MiB/s Receiving objects: 87% (81689/93895), 257.12 MiB | 12.67 MiB/s Receiving objects: 87% (81934/93895), 257.12 MiB | 12.67 MiB/s Receiving objects: 88% (82628/93895), 264.98 MiB | 13.27 MiB/s Receiving objects: 89% (83567/93895), 264.98 MiB | 13.27 MiB/s Receiving objects: 90% (84506/93895), 273.19 MiB | 13.88 MiB/s Receiving objects: 90% (84548/93895), 281.68 MiB | 14.52 MiB/s Receiving objects: 90% (84605/93895), 290.54 MiB | 15.15 MiB/s Receiving objects: 91% (85445/93895), 299.71 MiB | 15.78 MiB/s Receiving objects: 92% (86384/93895), 299.71 MiB | 15.78 MiB/s Receiving objects: 93% (87323/93895), 299.71 MiB | 15.78 MiB/s Receiving objects: 94% (88262/93895), 299.71 MiB | 15.78 MiB/s Receiving objects: 95% (89201/93895), 299.71 MiB | 15.78 MiB/s Receiving objects: 96% (90140/93895), 299.71 MiB | 15.78 MiB/s Receiving objects: 97% (91079/93895), 299.71 MiB | 15.78 MiB/s Receiving objects: 98% (92018/93895), 299.71 MiB | 15.78 MiB/s Receiving objects: 99% (92957/93895), 299.71 MiB | 15.78 MiB/s remote: Total 93895 (delta 7989), reused 7350 (delta 7279), pack-reused 84679 (from 3)
  7. 20.56 s Receiving objects: 100% (93895/93895), 309.19 MiB | 16.42 MiB/s Receiving objects: 100% (93895/93895), 309.96 MiB | 17.64 MiB/s, done.
  8. 21.68 s Resolving deltas: 0% (0/63148) Resolving deltas: 1% (632/63148) Resolving deltas: 2% (1263/63148) Resolving deltas: 3% (1895/63148) Resolving deltas: 4% (2526/63148) Resolving deltas: 5% (3158/63148) Resolving deltas: 6% (3789/63148) Resolving deltas: 7% (4421/63148) Resolving deltas: 8% (5052/63148) Resolving deltas: 9% (5684/63148) Resolving deltas: 10% (6315/63148) Resolving deltas: 11% (6947/63148) Resolving deltas: 12% (7578/63148) Resolving deltas: 13% (8210/63148) Resolving deltas: 14% (8841/63148) Resolving deltas: 15% (9473/63148) Resolving deltas: 16% (10106/63148) Resolving deltas: 17% (10737/63148) Resolving deltas: 18% (11367/63148) Resolving deltas: 19% (11999/63148) Resolving deltas: 20% (12630/63148) Resolving deltas: 21% (13262/63148) Resolving deltas: 22% (13893/63148) Resolving deltas: 23% (14527/63148) Resolving deltas: 24% (15156/63148) Resolving deltas: 25% (15787/63148) Resolving deltas: 26% (16419/63148) Resolving deltas: 27% (17050/63148) Resolving deltas: 28% (17682/63148) Resolving deltas: 29% (18313/63148) Resolving deltas: 30% (18945/63148) Resolving deltas: 31% (19576/63148) Resolving deltas: 32% (20208/63148) Resolving deltas: 33% (20839/63148) Resolving deltas: 34% (21472/63148) Resolving deltas: 35% (22103/63148) Resolving deltas: 36% (22734/63148) Resolving deltas: 37% (23365/63148) Resolving deltas: 38% (23997/63148) Resolving deltas: 39% (24628/63148) Resolving deltas: 40% (25261/63148) Resolving deltas: 41% (25891/63148) Resolving deltas: 42% (26523/63148) Resolving deltas: 43% (27154/63148) Resolving deltas: 44% (27786/63148) Resolving deltas: 45% (28417/63148) Resolving deltas: 46% (29052/63148) Resolving deltas: 47% (29680/63148) Resolving deltas: 48% (30312/63148) Resolving deltas: 49% (30943/63148) Resolving deltas: 50% (31574/63148) Resolving deltas: 51% (32206/63148) Resolving deltas: 52% (32837/63148) Resolving deltas: 53% (33469/63148) Resolving deltas: 54% (34100/63148) Resolving deltas: 55% (34732/63148) Resolving deltas: 56% (35363/63148) Resolving deltas: 57% (35995/63148) Resolving deltas: 58% (36626/63148) Resolving deltas: 59% (37258/63148) Resolving deltas: 60% (37889/63148) Resolving deltas: 61% (38521/63148) Resolving deltas: 62% (39153/63148) Resolving deltas: 63% (39784/63148) Resolving deltas: 64% (40415/63148) Resolving deltas: 65% (41048/63148) Resolving deltas: 66% (41679/63148) Resolving deltas: 67% (42312/63148) Resolving deltas: 68% (42942/63148) Resolving deltas: 69% (43575/63148) Resolving deltas: 70% (44205/63148) Resolving deltas: 71% (44836/63148) Resolving deltas: 72% (45467/63148) Resolving deltas: 73% (46099/63148) Resolving deltas: 74% (46730/63148) Resolving deltas: 75% (47361/63148) Resolving deltas: 76% (47994/63148) Resolving deltas: 77% (48624/63148) Resolving deltas: 78% (49256/63148) Resolving deltas: 79% (49887/63148) Resolving deltas: 80% (50519/63148) Resolving deltas: 81% (51150/63148) Resolving deltas: 82% (51782/63148) Resolving deltas: 83% (52413/63148) Resolving deltas: 84% (53045/63148) Resolving deltas: 85% (53676/63148) Resolving deltas: 85% (54061/63148) Resolving deltas: 86% (54308/63148) Resolving deltas: 87% (54939/63148) Resolving deltas: 88% (55571/63148) Resolving deltas: 89% (56202/63148) Resolving deltas: 90% (56835/63148) Resolving deltas: 91% (57465/63148) Resolving deltas: 92% (58097/63148) Resolving deltas: 93% (58728/63148) Resolving deltas: 94% (59360/63148) Resolving deltas: 95% (59993/63148) Resolving deltas: 96% (60624/63148) Resolving deltas: 97% (61254/63148) Resolving deltas: 98% (61887/63148) Resolving deltas: 99% (62518/63148) Resolving deltas: 100% (63148/63148) Resolving deltas: 100% (63148/63148), done.
  9. 22.11 s Fetching commit b3d28ae8a5c3d58321e476335c64c00611faf8bf for simplify-spenso-api ...
  10. 22.11 s $ /nix/store/bcnisk3ydfgv26v2gw3zlky24g00yww2-git-2.54.0/bin/git fetch origin b3d28ae8a5c3d58321e476335c64c00611faf8bf
  11. 22.58 s From https://github.com/alphal00p/gammaloop
  12. 22.58 s * branch b3d28ae8a5c3d58321e476335c64c00611faf8bf -> FETCH_HEAD
  13. 22.59 s $ /nix/store/9ypz3flqsrl5xl495mm8h645gadjsxi1-coreutils-9.11/bin/timeout --kill-after=15s 7200s /nix/store/bcnisk3ydfgv26v2gw3zlky24g00yww2-git-2.54.0/bin/git -c advice.detachedHead=false checkout b3d28ae8a5c3d58321e476335c64c00611faf8bf
  14. 22.82 s HEAD is now at b3d28ae8a Select the signed Symbolica license on upgraded branches
  15. 22.82 s $ /nix/store/9ypz3flqsrl5xl495mm8h645gadjsxi1-coreutils-9.11/bin/timeout --kill-after=15s 7200s /nix/store/23zk8sgzamrbmj1fday15szf7f2279s8-nix-2.34.7/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json run .#packages.x86_64-linux.nix-ci-check-gammaloop-nextest-integration --print-build-logs
  16. 22.93 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  17. 22.93 s Pass '--accept-flake-config' to trust it
  18. 22.93 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  19. 22.93 s Pass '--accept-flake-config' to trust it
  20. 22.93 s error (ignored): SQLite database '/var/cache/nix-ci-worker/eval-cache-v6/99c1f0d3bde1feb24d66d52049c8277121e2e527292f68ba28641f1bf69385ef.sqlite' is busy
  21. 24.63 s
  22. 24.81 s Downloading cached nix-util from https://cache.nix-ci.com
  23. 24.96 s Downloaded cached nix-util (2.4 MiB) in 150ms
  24. 24.96 s Progress: 0 of 1 built, 1 of 11 downloaded from cache
  25. 24.96 s Downloading cached nix-nswrapper from https://cache.nix-ci.com
  26. 24.96 s Downloading cached nix-store from https://cache.nix-ci.com
  27. 24.96 s Downloaded cached nix-nswrapper in 0ms
  28. 24.96 s Downloaded cached nix-store in 0ms
  29. 24.96 s Progress: 0 of 1 built, 2 of 11 downloaded from cache (1 downloading)
  30. 24.96 s Progress: 0 of 1 built, 3 of 11 downloaded from cache
  31. 24.96 s Downloading cached nix-fetchers from https://cache.nix-ci.com
  32. 24.96 s Downloading cached nix-main from https://cache.nix-ci.com
  33. 25.05 s Downloaded cached nix-main (393 KiB) in 92ms
  34. 25.05 s Progress: 0 of 1 built, 4 of 11 downloaded from cache (1 downloading)
  35. 25.06 s Downloaded cached nix-fetchers (1.5 MiB) in 106ms
  36. 25.06 s Progress: 0 of 1 built, 5 of 11 downloaded from cache
  37. 25.06 s Downloading cached nix-expr from https://cache.nix-ci.com
  38. 25.16 s Downloaded cached nix-expr (3.3 MiB) in 97ms
  39. 25.16 s Progress: 0 of 1 built, 6 of 11 downloaded from cache
  40. 25.16 s Downloading cached nix-flake from https://cache.nix-ci.com
  41. 25.21 s Downloaded cached nix-flake (956 KiB) in 51ms
  42. 25.21 s Progress: 0 of 1 built, 7 of 11 downloaded from cache
  43. 25.21 s Downloading cached nix-cmd from https://cache.nix-ci.com
  44. 25.27 s Downloaded cached nix-cmd (1 MiB) in 57ms
  45. 25.27 s Progress: 0 of 1 built, 8 of 11 downloaded from cache
  46. 25.27 s Downloading cached nix from https://cache.nix-ci.com
  47. 25.38 s Downloaded cached nix (3.9 MiB) in 109ms
  48. 25.38 s Progress: 0 of 1 built, 9 of 11 downloaded from cache
  49. 25.38 s Downloading cached nix from https://cache.nix-ci.com
  50. 25.38 s Downloaded cached nix in 0ms
  51. 25.38 s Progress: 0 of 1 built, 10 of 11 downloaded from cache
  52. 25.38 s Downloading cached nix-ci-check-gammaloop-nextest-integration from https://cache.nix-ci.com
  53. 25.41 s Downloaded cached nix-ci-check-gammaloop-nextest-integration (1056 B) in 34ms
  54. 25.41 s Progress: 0 of 1 built, 11 of 11 downloaded from cache
  55. 25.51 s do you want to allow configuration setting 'extra-substituters' to be set to 'https://cache.nix-ci.com' (y/N)? do you want to permanently mark this value as untrusted (y/N)? warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  56. 25.51 s Pass '--accept-flake-config' to trust it
  57. 25.51 s evaluating derivation 'gdo you want to allow configuration setting 'extra-trusted-public-keys' to be set to 'nix-ci:g3xV5BDTLtIBZr/A00IU1x0EtKKlb7YLgBN2SgYgM6A=' (y/N)? do you want to permanently mark this value as untrusted (y/N)? warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  58. 25.51 s Pass '--accept-flake-config' to trust it
  59. 37.37 s copying '/nix/store/i43x evaluating derivation 'g downloading 'https://git [12.8 KiB/13.4 MiB DL] d [23.1 KiB/13.4 MiB DL] d [79.6 KiB/13.4 MiB DL] d [119.7 KiB/13.4 MiB DL] [131.6 KiB/13.4 MiB DL] [163.7 KiB/13.4 MiB DL] [193.1 KiB/13.4 MiB DL] [234.7 KiB/13.4 MiB DL] [272.3 KiB/13.4 MiB DL] [309.7 KiB/13.4 MiB DL] [336.4 KiB/13.4 MiB DL] [392.7 KiB/13.4 MiB DL] [438.0 KiB/13.4 MiB DL] [483.3 KiB/13.4 MiB DL] [535.6 KiB/13.4 MiB DL] [593.0 KiB/13.4 MiB DL] [670.3 KiB/13.4 MiB DL] [732.9 KiB/13.4 MiB DL] [794.3 KiB/13.4 MiB DL] [856.9 KiB/13.4 MiB DL] [927.6 KiB/13.4 MiB DL] [997.0 KiB/13.4 MiB DL] [1.0/13.4 MiB DL] downlo [1.1/13.4 MiB DL] downlo [1.2/13.4 MiB DL] downlo [1.3/13.4 MiB DL] downlo [1.4/13.4 MiB DL] downlo [1.5/13.4 MiB DL] downlo [1.6/13.4 MiB DL] downlo [1.7/13.4 MiB DL] downlo [1.8/13.4 MiB DL] downlo [1.9/13.4 MiB DL] downlo [2.0/13.4 MiB DL] downlo [2.1/13.4 MiB DL] downlo [2.2/13.4 MiB DL] downlo [2.3/13.4 MiB DL] downlo [2.5/13.4 MiB DL] downlo [2.6/13.4 MiB DL] downlo [2.7/13.4 MiB DL] downlo [2.8/13.4 MiB DL] downlo [2.9/13.4 MiB DL] downlo [3.1/13.4 MiB DL] downlo [3.3/13.4 MiB DL] downlo [3.4/13.4 MiB DL] downlo [3.5/13.4 MiB DL] downlo [3.7/13.4 MiB DL] downlo [3.8/13.4 MiB DL] downlo [4.0/13.4 MiB DL] downlo [4.1/13.4 MiB DL] downlo [4.3/13.4 MiB DL] downlo [4.5/13.4 MiB DL] downlo [4.6/13.4 MiB DL] downlo [4.8/13.4 MiB DL] downlo [5.0/13.4 MiB DL] downlo [5.1/13.4 MiB DL] downlo [5.3/13.4 MiB DL] downlo [5.5/13.4 MiB DL] downlo [5.7/13.4 MiB DL] downlo [5.9/13.4 MiB DL] downlo [6.1/13.4 MiB DL] downlo [6.3/13.4 MiB DL] downlo [6.5/13.4 MiB DL] downlo [6.7/13.4 MiB DL] downlo [6.9/13.4 MiB DL] downlo [7.1/13.4 MiB DL] downlo [7.3/13.4 MiB DL] downlo [7.5/13.4 MiB DL] downlo [7.7/13.4 MiB DL] downlo [7.9/13.4 MiB DL] downlo [8.2/13.4 MiB DL] downlo [8.4/13.4 MiB DL] downlo [8.6/13.4 MiB DL] downlo [8.9/13.4 MiB DL] downlo [9.1/13.4 MiB DL] downlo [9.3/13.4 MiB DL] downlo [9.6/13.4 MiB DL] downlo [9.8/13.4 MiB DL] downlo [10.1/13.4 MiB DL] downl [10.3/13.4 MiB DL] downl [10.6/13.4 MiB DL] downl [10.8/13.4 MiB DL] downl [11.1/13.4 MiB DL] downl [11.3/13.4 MiB DL] downl [11.6/13.4 MiB DL] downl [11.9/13.4 MiB DL] downl [12.2/13.4 MiB DL] downl [12.4/13.4 MiB DL] downl [12.8/13.4 MiB DL] downl [13.0/13.4 MiB DL] downl [13.3/13.4 MiB DL] downl [13.4 MiB DL] unpacking [13.4 MiB DL] evaluating [13.4 MiB DL] copying '« [13.4 MiB DL] evaluatingremote: Enumerating objects: 1105, done.
  60. 37.37 s remote: Counting objects: 2% (1/49) remote: Counting objects: 4% (2/49) remote: Counting objects: 6% (3/49) remote: Counting objects: 8% (4/49) remote: Counting objects: 10% (5/49) remote: Counting objects: 12% (6/49) remote: Counting objects: 14% (7/49) remote: Counting objects: 16% (8/49) remote: Counting objects: 18% (9/49) remote: Counting objects: 20% (10/49) remote: Counting objects: 22% (11/49) remote: Counting objects: 24% (12/49) remote: Counting objects: 26% (13/49) remote: Counting objects: 28% (14/49) remote: Counting objects: 30% (15/49) remote: Counting objects: 32% (16/49) remote: Counting objects: 34% (17/49) remote: Counting objects: 36% (18/49) remote: Counting objects: 38% (19/49) remote: Counting objects: 40% (20/49) remote: Counting objects: 42% (21/49) remote: Counting objects: 44% (22/49) remote: Counting objects: 46% (23/49) remote: Counting objects: 48% (24/49) remote: Counting objects: 51% (25/49) remote: Counting objects: 53% (26/49) remote: Counting objects: 55% (27/49) remote: Counting objects: 57% (28/49) remote: Counting objects: 59% (29/49) remote: Counting objects: 61% (30/49) remote: Counting objects: 63% (31/49) remote: Counting objects: 65% (32/49) remote: Counting objects: 67% (33/49) remote: Counting objects: 69% (34/49) remote: Counting objects: 71% (35/49) remote: Counting objects: 73% (36/49) remote: Counting objects: 75% (37/49) remote: Counting objects: 77% (38/49) remote: Counting objects: 79% (39/49) remote: Counting objects: 81% (40/49) remote: Counting objects: 83% (41/49) remote: Counting objects: 85% (42/49) remote: Counting objects: 87% (43/49) remote: Counting objects: 89% (44/49) remote: Counting objects: 91% (45/49) remote: Counting objects: 93% (46/49) remote: Counting objects: 95% (47/49) remote: Counting objects: 97% (48/49) remote: Counting objects: 100% (49/49) remote: Counting objects: 100% (49/49), done.
  61. 37.68 s remote: Compressing objects: 3% (1/32) remote: Compressing objects: 6% (2/32) remote: Compressing objects: 9% (3/32) remote: Compressing objects: 12% (4/32) remote: Compressing objects: 15% (5/32) remote: Compressing objects: 18% (6/32) remote: Compressing objects: 21% (7/32) remote: Compressing objects: 25% (8/32) remote: Compressing objects: 28% (9/32) remote: Compressing objects: 31% (10/32) remote: Compressing objects: 34% (11/32) remote: Compressing objects: 37% (12/32) remote: Compressing objects: 40% (13/32) remote: Compressing objects: 43% (14/32) remote: Compressing objects: 46% (15/32) remote: Compressing objects: 50% (16/32) remote: Compressing objects: 53% (17/32) remote: Compressing objects: 56% (18/32) remote: Compressing objects: 59% (19/32) remote: Compressing objects: 62% (20/32) remote: Compressing objects: 65% (21/32) remote: Compressing objects: 68% (22/32) remote: Compressing objects: 71% (23/32) remote: Compressing objects: 75% (24/32) remote: Compressing objects: 78% (25/32) remote: Compressing objects: 81% (26/32) remote: Compressing objects: 84% (27/32) remote: Compressing objects: 87% (28/32) remote: Compressing objects: 90% (29/32) remote: Compressing objects: 93% (30/32) remote: Compressing objects: 96% (31/32) remote: Compressing objects: 100% (32/32) remote: Compressing objects: 100% (32/32), done.
  62. 44.00 s Receiving objects: 0% (1/1105) Receiving objects: 1% (12/1105) Receiving objects: 2% (23/1105) Receiving objects: 3% (34/1105) Receiving objects: 4% (45/1105) Receiving objects: 5% (56/1105) Receiving objects: 6% (67/1105) Receiving objects: 7% (78/1105) Receiving objects: 8% (89/1105) Receiving objects: 9% (100/1105) Receiving objects: 10% (111/1105) Receiving objects: 11% (122/1105) Receiving objects: 12% (133/1105) Receiving objects: 13% (144/1105) Receiving objects: 14% (155/1105) Receiving objects: 15% (166/1105), 13.71 MiB | 27.31 MiB/s Receiving objects: 16% (177/1105), 13.71 MiB | 27.31 MiB/s Receiving objects: 17% (188/1105), 13.71 MiB | 27.31 MiB/s Receiving objects: 18% (199/1105), 13.71 MiB | 27.31 MiB/s Receiving objects: 19% (210/1105), 13.71 MiB | 27.31 MiB/s Receiving objects: 20% (221/1105), 13.71 MiB | 27.31 MiB/s Receiving objects: 20% (221/1105), 30.83 MiB | 30.65 MiB/s Receiving objects: 21% (233/1105), 30.83 MiB | 30.65 MiB/s Receiving objects: 22% (244/1105), 30.83 MiB | 30.65 MiB/s Receiving objects: 23% (255/1105), 30.83 MiB | 30.65 MiB/s Receiving objects: 24% (266/1105), 30.83 MiB | 30.65 MiB/s Receiving objects: 25% (277/1105), 30.83 MiB | 30.65 MiB/s Receiving objects: 26% (288/1105), 30.83 MiB | 30.65 MiB/s Receiving objects: 27% (299/1105), 47.48 MiB | 31.06 MiB/s Receiving objects: 28% (310/1105), 47.48 MiB | 31.06 MiB/s Receiving objects: 29% (321/1105), 47.48 MiB | 31.06 MiB/s Receiving objects: 30% (332/1105), 47.48 MiB | 31.06 MiB/s Receiving objects: 30% (334/1105), 65.31 MiB | 32.12 MiB/s Receiving objects: 31% (343/1105), 65.31 MiB | 32.12 MiB/s Receiving objects: 32% (354/1105), 65.31 MiB | 32.12 MiB/s Receiving objects: 33% (365/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 34% (376/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 35% (387/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 36% (398/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 37% (409/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 38% (420/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 39% (431/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 40% (442/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 41% (454/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 42% (465/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 43% (476/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 44% (487/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 45% (498/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 46% (509/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 47% (520/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 48% (531/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 49% (542/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 50% (553/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 51% (564/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 52% (575/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 53% (586/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 54% (597/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 55% (608/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 56% (619/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 56% (622/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 57% (630/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 58% (641/1105), 81.77 MiB | 32.01 MiB/s Receiving objects: 59% (652/1105), 97.96 MiB | 32.04 MiB/s Receiving objects: 60% (663/1105), 115.07 MiB | 32.14 MiB/s Receiving objects: 61% (675/1105), 115.07 MiB | 32.14 MiB/s Receiving objects: 62% (686/1105), 115.07 MiB | 32.14 MiB/s Receiving objects: 63% (697/1105), 115.07 MiB | 32.14 MiB/s Receiving objects: 64% (708/1105), 115.07 MiB | 32.14 MiB/s Receiving objects: 65% (719/1105), 115.07 MiB | 32.14 MiB/s Receiving objects: 66% (730/1105), 115.07 MiB | 32.14 MiB/s Receiving objects: 67% (741/1105), 115.07 MiB | 32.14 MiB/s Receiving objects: 68% (752/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 69% (763/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 70% (774/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 71% (785/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 72% (796/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 73% (807/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 74% (818/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 75% (829/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 76% (840/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 77% (851/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 78% (862/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 79% (873/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 80% (884/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 81% (896/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 82% (907/1105), 132.45 MiB | 32.46 MiB/s Receiving objects: 83% (918/1105), 150.14 MiB | 32.59 MiB/s Receiving objects: 84% (929/1105), 150.14 MiB | 32.59 MiB/s Receiving objects: 85% (940/1105), 150.14 MiB | 32.59 MiB/s Receiving objects: 86% (951/1105), 150.14 MiB | 32.59 MiB/s Receiving objects: 86% (952/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 87% (962/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 88% (973/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 89% (984/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 90% (995/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 91% (1006/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 92% (1017/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 93% (1028/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 94% (1039/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 95% (1050/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 96% (1061/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 97% (1072/1105), 167.20 MiB | 33.28 MiB/s Receiving objects: 98% (1083/1105), 185.07 MiB | 33.33 MiB/s Receiving objects: 99% (1094/1105), 185.07 MiB | 33.33 MiB/s Receiving objects: 99% (1103/1105), 201.87 MiB | 33.48 MiB/s remote: Total 1105 (delta 13), reused 33 (delta 11), pack-reused 1056 (from 1)
  63. 44.00 s Receiving objects: 100% (1105/1105), 201.87 MiB | 33.48 MiB/s Receiving objects: 100% (1105/1105), 207.52 MiB | 33.01 MiB/s, done.
  64. 44.20 s Resolving deltas: 0% (0/573) Resolving deltas: 1% (6/573) Resolving deltas: 2% (12/573) Resolving deltas: 3% (19/573) Resolving deltas: 4% (23/573) Resolving deltas: 5% (30/573) Resolving deltas: 6% (40/573) Resolving deltas: 7% (41/573) Resolving deltas: 8% (46/573) Resolving deltas: 9% (52/573) Resolving deltas: 10% (58/573) Resolving deltas: 11% (64/573) Resolving deltas: 12% (69/573) Resolving deltas: 13% (75/573) Resolving deltas: 14% (84/573) Resolving deltas: 15% (88/573) Resolving deltas: 16% (92/573) Resolving deltas: 17% (99/573) Resolving deltas: 18% (104/573) Resolving deltas: 19% (109/573) Resolving deltas: 20% (118/573) Resolving deltas: 21% (121/573) Resolving deltas: 22% (127/573) Resolving deltas: 23% (132/573) Resolving deltas: 24% (139/573) Resolving deltas: 25% (144/573) Resolving deltas: 26% (149/573) Resolving deltas: 27% (157/573) Resolving deltas: 28% (161/573) Resolving deltas: 29% (167/573) Resolving deltas: 30% (173/573) Resolving deltas: 31% (178/573) Resolving deltas: 32% (184/573) Resolving deltas: 33% (191/573) Resolving deltas: 34% (196/573) Resolving deltas: 35% (201/573) Resolving deltas: 36% (208/573) Resolving deltas: 37% (214/573) Resolving deltas: 38% (218/573) Resolving deltas: 39% (224/573) Resolving deltas: 40% (230/573) Resolving deltas: 41% (235/573) Resolving deltas: 42% (241/573) Resolving deltas: 43% (247/573) Resolving deltas: 44% (253/573) Resolving deltas: 45% (258/573) Resolving deltas: 46% (264/573) Resolving deltas: 47% (271/573) Resolving deltas: 48% (276/573) Resolving deltas: 49% (281/573) Resolving deltas: 50% (289/573) Resolving deltas: 51% (293/573) Resolving deltas: 52% (298/573) Resolving deltas: 53% (304/573) Resolving deltas: 54% (310/573) Resolving deltas: 55% (316/573) Resolving deltas: 56% (322/573) Resolving deltas: 57% (327/573) Resolving deltas: 58% (333/573) Resolving deltas: 59% (339/573) Resolving deltas: 60% (344/573) Resolving deltas: 61% (352/573) Resolving deltas: 62% (357/573) Resolving deltas: 63% (361/573) Resolving deltas: 64% (370/573) Resolving deltas: 65% (373/573) Resolving deltas: 66% (379/573) Resolving deltas: 67% (384/573) Resolving deltas: 68% (390/573) Resolving deltas: 69% (397/573) Resolving deltas: 70% (402/573) Resolving deltas: 71% (407/573) Resolving deltas: 72% (413/573) Resolving deltas: 73% (419/573) Resolving deltas: 74% (425/573) Resolving deltas: 75% (434/573) Resolving deltas: 76% (436/573) Resolving deltas: 77% (442/573) Resolving deltas: 78% (447/573) Resolving deltas: 79% (456/573) Resolving deltas: 80% (459/573) Resolving deltas: 81% (465/573) Resolving deltas: 82% (471/573) Resolving deltas: 83% (476/573) Resolving deltas: 84% (482/573) Resolving deltas: 85% (488/573) Resolving deltas: 86% (493/573) Resolving deltas: 87% (500/573) Resolving deltas: 88% (505/573) Resolving deltas: 89% (512/573) Resolving deltas: 90% (517/573) Resolving deltas: 91% (522/573) Resolving deltas: 92% (528/573) Resolving deltas: 93% (533/573) Resolving deltas: 94% (539/573) Resolving deltas: 95% (545/573) Resolving deltas: 96% (551/573) Resolving deltas: 97% (556/573) Resolving deltas: 98% (562/573) Resolving deltas: 99% (568/573) Resolving deltas: 100% (573/573) Resolving deltas: 100% (573/573), done.
  65. 44.36 s From https://github.com/lcnbr/tymbolica
  66. 44.36 s * [new branch] main -> main
  67. 44.36 s * [new branch] shared-symbolica-interface -> shared-symbolica-interface
  68. 47.05 s [13.4 MiB DL] copying '« [13.4 MiB DL] evaluating [13.4 MiB DL] copying '/ [13.4 MiB DL] evaluating [13.4 MiB DL] copying '/ [13.4 MiB DL] evaluating [13.4 MiB DL] copying '/ [13.4 MiB DL] evaluating [13.4 MiB DL] copying '/ [13.4 MiB DL] evaluating [13.4 MiB DL] copying '/ [13.4 MiB DL] evaluating [13.4 MiB DL] querying g [0/1 built, 1/0/1 copiedRun succeeded.