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 --log-format internal-json build --no-link --print-out-paths git+https://github.com/alphal00p/gammaloop?ref=advanced_sampling&rev=1ae7ef75bbcf8fd774bcc52ca4636466c91aef18&shallow=1#packages.x86_64-linux.clinnet --print-build-logs
  2. 0.08 s fetching Git repository 'https://github.com/alphal00p/gammaloop'
  3. 0.85 s remote: Enumerating objects: 4013, done.
  4. 1.18 s remote: Counting objects: 0% (1/4013) remote: Counting objects: 1% (41/4013) remote: Counting objects: 2% (81/4013) remote: Counting objects: 3% (121/4013) remote: Counting objects: 4% (161/4013) remote: Counting objects: 5% (201/4013) remote: Counting objects: 6% (241/4013) remote: Counting objects: 7% (281/4013) remote: Counting objects: 8% (322/4013) remote: Counting objects: 9% (362/4013) remote: Counting objects: 10% (402/4013) remote: Counting objects: 11% (442/4013) remote: Counting objects: 12% (482/4013) remote: Counting objects: 13% (522/4013) remote: Counting objects: 14% (562/4013) remote: Counting objects: 15% (602/4013) remote: Counting objects: 16% (643/4013) remote: Counting objects: 17% (683/4013) remote: Counting objects: 18% (723/4013) remote: Counting objects: 19% (763/4013) remote: Counting objects: 20% (803/4013) remote: Counting objects: 21% (843/4013) remote: Counting objects: 22% (883/4013) remote: Counting objects: 23% (923/4013) remote: Counting objects: 24% (964/4013) remote: Counting objects: 25% (1004/4013) remote: Counting objects: 26% (1044/4013) remote: Counting objects: 27% (1084/4013) remote: Counting objects: 28% (1124/4013) remote: Counting objects: 29% (1164/4013) remote: Counting objects: 30% (1204/4013) remote: Counting objects: 31% (1245/4013) remote: Counting objects: 32% (1285/4013) remote: Counting objects: 33% (1325/4013) remote: Counting objects: 34% (1365/4013) remote: Counting objects: 35% (1405/4013) remote: Counting objects: 36% (1445/4013) remote: Counting objects: 37% (1485/4013) remote: Counting objects: 38% (1525/4013) remote: Counting objects: 39% (1566/4013) remote: Counting objects: 40% (1606/4013) remote: Counting objects: 41% (1646/4013) remote: Counting objects: 42% (1686/4013) remote: Counting objects: 43% (1726/4013) remote: Counting objects: 44% (1766/4013) remote: Counting objects: 45% (1806/4013) remote: Counting objects: 46% (1846/4013) remote: Counting objects: 47% (1887/4013) remote: Counting objects: 48% (1927/4013) remote: Counting objects: 49% (1967/4013) remote: Counting objects: 50% (2007/4013) remote: Counting objects: 51% (2047/4013) remote: Counting objects: 52% (2087/4013) remote: Counting objects: 53% (2127/4013) remote: Counting objects: 54% (2168/4013) remote: Counting objects: 55% (2208/4013) remote: Counting objects: 56% (2248/4013) remote: Counting objects: 57% (2288/4013) remote: Counting objects: 58% (2328/4013) remote: Counting objects: 59% (2368/4013) remote: Counting objects: 60% (2408/4013) remote: Counting objects: 61% (2448/4013) remote: Counting objects: 62% (2489/4013) remote: Counting objects: 63% (2529/4013) remote: Counting objects: 64% (2569/4013) remote: Counting objects: 65% (2609/4013) remote: Counting objects: 66% (2649/4013) remote: Counting objects: 67% (2689/4013) remote: Counting objects: 68% (2729/4013) remote: Counting objects: 69% (2769/4013) remote: Counting objects: 70% (2810/4013) remote: Counting objects: 71% (2850/4013) remote: Counting objects: 72% (2890/4013) remote: Counting objects: 73% (2930/4013) remote: Counting objects: 74% (2970/4013) remote: Counting objects: 75% (3010/4013) remote: Counting objects: 76% (3050/4013) remote: Counting objects: 77% (3091/4013) remote: Counting objects: 78% (3131/4013) remote: Counting objects: 79% (3171/4013) remote: Counting objects: 80% (3211/4013) remote: Counting objects: 81% (3251/4013) remote: Counting objects: 82% (3291/4013) remote: Counting objects: 83% (3331/4013) remote: Counting objects: 84% (3371/4013) remote: Counting objects: 85% (3412/4013) remote: Counting objects: 86% (3452/4013) remote: Counting objects: 87% (3492/4013) remote: Counting objects: 88% (3532/4013) remote: Counting objects: 89% (3572/4013) remote: Counting objects: 90% (3612/4013) remote: Counting objects: 91% (3652/4013) remote: Counting objects: 92% (3692/4013) remote: Counting objects: 93% (3733/4013) remote: Counting objects: 94% (3773/4013) remote: Counting objects: 95% (3813/4013) remote: Counting objects: 96% (3853/4013) remote: Counting objects: 97% (3893/4013) remote: Counting objects: 98% (3933/4013) remote: Counting objects: 99% (3973/4013) remote: Counting objects: 100% (4013/4013) remote: Counting objects: 100% (4013/4013), done.
  5. 4.10 s remote: Compressing objects: 0% (1/2842) remote: Compressing objects: 1% (29/2842) remote: Compressing objects: 2% (57/2842) remote: Compressing objects: 3% (86/2842) remote: Compressing objects: 4% (114/2842) remote: Compressing objects: 5% (143/2842) remote: Compressing objects: 6% (171/2842) remote: Compressing objects: 7% (199/2842) remote: Compressing objects: 8% (228/2842) remote: Compressing objects: 9% (256/2842) remote: Compressing objects: 10% (285/2842) remote: Compressing objects: 11% (313/2842) remote: Compressing objects: 12% (342/2842) remote: Compressing objects: 12% (353/2842) remote: Compressing objects: 12% (356/2842) remote: Compressing objects: 13% (370/2842) remote: Compressing objects: 14% (398/2842) remote: Compressing objects: 15% (427/2842) remote: Compressing objects: 16% (455/2842) remote: Compressing objects: 17% (484/2842) remote: Compressing objects: 18% (512/2842) remote: Compressing objects: 19% (540/2842) remote: Compressing objects: 20% (569/2842) remote: Compressing objects: 21% (597/2842) remote: Compressing objects: 22% (626/2842) remote: Compressing objects: 23% (654/2842) remote: Compressing objects: 24% (683/2842) remote: Compressing objects: 25% (711/2842) remote: Compressing objects: 26% (739/2842) remote: Compressing objects: 27% (768/2842) remote: Compressing objects: 28% (796/2842) remote: Compressing objects: 29% (825/2842) remote: Compressing objects: 30% (853/2842) remote: Compressing objects: 31% (882/2842) remote: Compressing objects: 32% (910/2842) remote: Compressing objects: 33% (938/2842) remote: Compressing objects: 34% (967/2842) remote: Compressing objects: 35% (995/2842) remote: Compressing objects: 36% (1024/2842) remote: Compressing objects: 37% (1052/2842) remote: Compressing objects: 38% (1080/2842) remote: Compressing objects: 39% (1109/2842) remote: Compressing objects: 40% (1137/2842) remote: Compressing objects: 41% (1166/2842) remote: Compressing objects: 42% (1194/2842) remote: Compressing objects: 43% (1223/2842) remote: Compressing objects: 44% (1251/2842) remote: Compressing objects: 45% (1279/2842) remote: Compressing objects: 46% (1308/2842) remote: Compressing objects: 47% (1336/2842) remote: Compressing objects: 48% (1365/2842) remote: Compressing objects: 49% (1393/2842) remote: Compressing objects: 50% (1421/2842) remote: Compressing objects: 51% (1450/2842) remote: Compressing objects: 52% (1478/2842) remote: Compressing objects: 53% (1507/2842) remote: Compressing objects: 54% (1535/2842) remote: Compressing objects: 55% (1564/2842) remote: Compressing objects: 56% (1592/2842) remote: Compressing objects: 57% (1620/2842) remote: Compressing objects: 58% (1649/2842) remote: Compressing objects: 59% (1677/2842) remote: Compressing objects: 60% (1706/2842) remote: Compressing objects: 61% (1734/2842) remote: Compressing objects: 62% (1763/2842) remote: Compressing objects: 63% (1791/2842) remote: Compressing objects: 64% (1819/2842) remote: Compressing objects: 65% (1848/2842) remote: Compressing objects: 66% (1876/2842) remote: Compressing objects: 67% (1905/2842) remote: Compressing objects: 68% (1933/2842) remote: Compressing objects: 69% (1961/2842) remote: Compressing objects: 70% (1990/2842) remote: Compressing objects: 71% (2018/2842) remote: Compressing objects: 72% (2047/2842) remote: Compressing objects: 73% (2075/2842) remote: Compressing objects: 74% (2104/2842) remote: Compressing objects: 75% (2132/2842) remote: Compressing objects: 76% (2160/2842) remote: Compressing objects: 77% (2189/2842) remote: Compressing objects: 78% (2217/2842) remote: Compressing objects: 79% (2246/2842) remote: Compressing objects: 80% (2274/2842) remote: Compressing objects: 81% (2303/2842) remote: Compressing objects: 82% (2331/2842) remote: Compressing objects: 83% (2359/2842) remote: Compressing objects: 84% (2388/2842) remote: Compressing objects: 85% (2416/2842) remote: Compressing objects: 86% (2445/2842) remote: Compressing objects: 87% (2473/2842) remote: Compressing objects: 88% (2501/2842) remote: Compressing objects: 89% (2530/2842) remote: Compressing objects: 90% (2558/2842) remote: Compressing objects: 91% (2587/2842) remote: Compressing objects: 92% (2615/2842) remote: Compressing objects: 93% (2644/2842) remote: Compressing objects: 94% (2672/2842) remote: Compressing objects: 95% (2700/2842) remote: Compressing objects: 96% (2729/2842) remote: Compressing objects: 97% (2757/2842) remote: Compressing objects: 98% (2786/2842) remote: Compressing objects: 99% (2814/2842) remote: Compressing objects: 100% (2842/2842) remote: Compressing objects: 100% (2842/2842), done.
  6. 11.11 s Receiving objects: 0% (1/4013) Receiving objects: 1% (41/4013) Receiving objects: 2% (81/4013) Receiving objects: 3% (121/4013) Receiving objects: 4% (161/4013) Receiving objects: 5% (201/4013) Receiving objects: 6% (241/4013) Receiving objects: 7% (281/4013) Receiving objects: 8% (322/4013) Receiving objects: 9% (362/4013) Receiving objects: 10% (402/4013) Receiving objects: 11% (442/4013) Receiving objects: 12% (482/4013) Receiving objects: 13% (522/4013) Receiving objects: 14% (562/4013) Receiving objects: 15% (602/4013) Receiving objects: 16% (643/4013) Receiving objects: 17% (683/4013) Receiving objects: 18% (723/4013) Receiving objects: 19% (763/4013) Receiving objects: 20% (803/4013) Receiving objects: 21% (843/4013) Receiving objects: 22% (883/4013) Receiving objects: 23% (923/4013) Receiving objects: 24% (964/4013), 5.61 MiB | 10.64 MiB/s Receiving objects: 25% (1004/4013), 5.61 MiB | 10.64 MiB/s Receiving objects: 26% (1044/4013), 5.61 MiB | 10.64 MiB/s Receiving objects: 27% (1084/4013), 5.61 MiB | 10.64 MiB/s Receiving objects: 28% (1124/4013), 5.61 MiB | 10.64 MiB/s Receiving objects: 28% (1136/4013), 5.61 MiB | 10.64 MiB/s Receiving objects: 29% (1164/4013), 5.61 MiB | 10.64 MiB/s Receiving objects: 30% (1204/4013), 13.32 MiB | 12.95 MiB/s Receiving objects: 31% (1245/4013), 13.32 MiB | 12.95 MiB/s Receiving objects: 32% (1285/4013), 13.32 MiB | 12.95 MiB/s Receiving objects: 33% (1325/4013), 22.41 MiB | 14.59 MiB/s Receiving objects: 34% (1365/4013), 22.41 MiB | 14.59 MiB/s Receiving objects: 35% (1405/4013), 22.41 MiB | 14.59 MiB/s Receiving objects: 35% (1408/4013), 32.19 MiB | 15.81 MiB/s Receiving objects: 36% (1445/4013), 44.02 MiB | 17.35 MiB/s Receiving objects: 36% (1445/4013), 55.83 MiB | 18.39 MiB/s Receiving objects: 37% (1485/4013), 67.61 MiB | 19.12 MiB/s Receiving objects: 38% (1525/4013), 67.61 MiB | 19.12 MiB/s Receiving objects: 38% (1541/4013), 67.61 MiB | 19.12 MiB/s Receiving objects: 39% (1566/4013), 79.98 MiB | 19.82 MiB/s Receiving objects: 40% (1606/4013), 92.25 MiB | 20.34 MiB/s Receiving objects: 40% (1611/4013), 92.25 MiB | 20.34 MiB/s Receiving objects: 41% (1646/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 42% (1686/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 43% (1726/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 44% (1766/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 45% (1806/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 46% (1846/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 47% (1887/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 48% (1927/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 49% (1967/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 50% (2007/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 51% (2047/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 52% (2087/4013), 104.24 MiB | 21.88 MiB/s Receiving objects: 53% (2127/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 54% (2168/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 55% (2208/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 56% (2248/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 57% (2288/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 58% (2328/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 59% (2368/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 60% (2408/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 61% (2448/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 62% (2489/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 63% (2529/4013), 116.22 MiB | 22.82 MiB/s Receiving objects: 63% (2546/4013), 128.23 MiB | 23.44 MiB/s Receiving objects: 64% (2569/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 65% (2609/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 66% (2649/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 67% (2689/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 68% (2729/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 69% (2769/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 70% (2810/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 71% (2850/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 72% (2890/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 73% (2930/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 74% (2970/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 75% (3010/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 76% (3050/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 77% (3091/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 78% (3131/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 79% (3171/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 80% (3211/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 81% (3251/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 82% (3291/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 83% (3331/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 84% (3371/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 85% (3412/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 86% (3452/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 87% (3492/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 88% (3532/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 89% (3572/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 90% (3612/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 91% (3652/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 92% (3692/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 93% (3733/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 94% (3773/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 95% (3813/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 96% (3853/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 97% (3893/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 98% (3933/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 99% (3973/4013), 140.64 MiB | 24.03 MiB/s remote: Total 4013 (delta 1159), reused 3221 (delta 1006), pack-reused 0 (from 0)
  7. 11.11 s Receiving objects: 100% (4013/4013), 140.64 MiB | 24.03 MiB/s Receiving objects: 100% (4013/4013), 151.84 MiB | 21.70 MiB/s, done.
  8. 11.12 s Resolving deltas: 0% (0/1159) Resolving deltas: 1% (14/1159) Resolving deltas: 2% (24/1159) Resolving deltas: 3% (35/1159) Resolving deltas: 4% (47/1159) Resolving deltas: 5% (58/1159) Resolving deltas: 6% (70/1159) Resolving deltas: 7% (82/1159) Resolving deltas: 8% (93/1159) Resolving deltas: 9% (109/1159) Resolving deltas: 10% (120/1159) Resolving deltas: 11% (128/1159) Resolving deltas: 12% (140/1159) Resolving deltas: 13% (151/1159) Resolving deltas: 14% (164/1159) Resolving deltas: 15% (174/1159) Resolving deltas: 16% (188/1159) Resolving deltas: 17% (199/1159) Resolving deltas: 18% (210/1159) Resolving deltas: 19% (221/1159) Resolving deltas: 20% (232/1159) Resolving deltas: 21% (244/1159) Resolving deltas: 22% (255/1159) Resolving deltas: 23% (267/1159) Resolving deltas: 24% (279/1159) Resolving deltas: 25% (291/1159) Resolving deltas: 26% (303/1159) Resolving deltas: 27% (313/1159) Resolving deltas: 28% (325/1159) Resolving deltas: 29% (337/1159) Resolving deltas: 30% (350/1159) Resolving deltas: 31% (360/1159) Resolving deltas: 32% (371/1159) Resolving deltas: 33% (383/1159) Resolving deltas: 34% (395/1159) Resolving deltas: 35% (406/1159) Resolving deltas: 36% (418/1159) Resolving deltas: 37% (429/1159) Resolving deltas: 38% (441/1159) Resolving deltas: 39% (453/1159) Resolving deltas: 40% (465/1159) Resolving deltas: 41% (477/1159) Resolving deltas: 42% (487/1159) Resolving deltas: 43% (499/1159) Resolving deltas: 44% (510/1159) Resolving deltas: 45% (522/1159) Resolving deltas: 46% (536/1159) Resolving deltas: 47% (545/1159) Resolving deltas: 48% (557/1159) Resolving deltas: 49% (568/1159) Resolving deltas: 50% (580/1159) Resolving deltas: 51% (593/1159) Resolving deltas: 52% (604/1159) Resolving deltas: 53% (615/1159) Resolving deltas: 54% (629/1159) Resolving deltas: 55% (638/1159) Resolving deltas: 56% (650/1159) Resolving deltas: 57% (661/1159) Resolving deltas: 58% (673/1159) Resolving deltas: 59% (684/1159) Resolving deltas: 60% (697/1159) Resolving deltas: 61% (707/1159) Resolving deltas: 62% (720/1159) Resolving deltas: 63% (731/1159) Resolving deltas: 64% (742/1159) Resolving deltas: 65% (754/1159) Resolving deltas: 66% (766/1159) Resolving deltas: 67% (777/1159) Resolving deltas: 68% (789/1159) Resolving deltas: 69% (802/1159) Resolving deltas: 70% (812/1159) Resolving deltas: 71% (823/1159) Resolving deltas: 72% (835/1159) Resolving deltas: 73% (847/1159) Resolving deltas: 74% (858/1159) Resolving deltas: 75% (870/1159) Resolving deltas: 76% (882/1159) Resolving deltas: 77% (893/1159) Resolving deltas: 78% (905/1159) Resolving deltas: 79% (916/1159) Resolving deltas: 80% (929/1159) Resolving deltas: 81% (939/1159) Resolving deltas: 82% (952/1159) Resolving deltas: 83% (962/1159) Resolving deltas: 84% (975/1159) Resolving deltas: 85% (988/1159) Resolving deltas: 86% (997/1159) Resolving deltas: 87% (1010/1159) Resolving deltas: 88% (1022/1159) Resolving deltas: 89% (1034/1159) Resolving deltas: 90% (1045/1159) Resolving deltas: 91% (1055/1159) Resolving deltas: 92% (1068/1159) Resolving deltas: 93% (1078/1159) Resolving deltas: 94% (1090/1159) Resolving deltas: 95% (1102/1159) Resolving deltas: 96% (1114/1159) Resolving deltas: 97% (1127/1159) Resolving deltas: 98% (1136/1159) Resolving deltas: 99% (1149/1159) Resolving deltas: 100% (1159/1159) Resolving deltas: 100% (1159/1159), done.
  9. 11.31 s From https://github.com/alphal00p/gammaloop
  10. 11.31 s * branch 1ae7ef75bbcf8fd774bcc52ca4636466c91aef18 -> FETCH_HEAD
  11. 12.59 s error (ignored): SQLite database '/var/cache/nix-ci-worker/eval-cache-v6/d20699f088091050a40fabb29534c78e3573745fd1cb2a35070efd90a9b6357e.sqlite' is busy
  12. 12.83 s
  13. 17.34 s fetching Git repository 'https://github.com/alphal00p/symbolica'
  14. 17.91 s remote: Enumerating objects: 11155, done.
  15. 18.03 s remote: Counting objects: 0% (1/2928) remote: Counting objects: 1% (30/2928) remote: Counting objects: 2% (59/2928) remote: Counting objects: 3% (88/2928) remote: Counting objects: 4% (118/2928) remote: Counting objects: 5% (147/2928) remote: Counting objects: 6% (176/2928) remote: Counting objects: 7% (205/2928) remote: Counting objects: 8% (235/2928) remote: Counting objects: 9% (264/2928) remote: Counting objects: 10% (293/2928) remote: Counting objects: 11% (323/2928) remote: Counting objects: 12% (352/2928) remote: Counting objects: 13% (381/2928) remote: Counting objects: 14% (410/2928) remote: Counting objects: 15% (440/2928) remote: Counting objects: 16% (469/2928) remote: Counting objects: 17% (498/2928) remote: Counting objects: 18% (528/2928) remote: Counting objects: 19% (557/2928) remote: Counting objects: 20% (586/2928) remote: Counting objects: 21% (615/2928) remote: Counting objects: 22% (645/2928) remote: Counting objects: 23% (674/2928) remote: Counting objects: 24% (703/2928) remote: Counting objects: 25% (732/2928) remote: Counting objects: 26% (762/2928) remote: Counting objects: 27% (791/2928) remote: Counting objects: 28% (820/2928) remote: Counting objects: 29% (850/2928) remote: Counting objects: 30% (879/2928) remote: Counting objects: 31% (908/2928) remote: Counting objects: 32% (937/2928) remote: Counting objects: 33% (967/2928) remote: Counting objects: 34% (996/2928) remote: Counting objects: 35% (1025/2928) remote: Counting objects: 36% (1055/2928) remote: Counting objects: 37% (1084/2928) remote: Counting objects: 38% (1113/2928) remote: Counting objects: 39% (1142/2928) remote: Counting objects: 40% (1172/2928) remote: Counting objects: 41% (1201/2928) remote: Counting objects: 42% (1230/2928) remote: Counting objects: 43% (1260/2928) remote: Counting objects: 44% (1289/2928) remote: Counting objects: 45% (1318/2928) remote: Counting objects: 46% (1347/2928) remote: Counting objects: 47% (1377/2928) remote: Counting objects: 48% (1406/2928) remote: Counting objects: 49% (1435/2928) remote: Counting objects: 50% (1464/2928) remote: Counting objects: 51% (1494/2928) remote: Counting objects: 52% (1523/2928) remote: Counting objects: 53% (1552/2928) remote: Counting objects: 54% (1582/2928) remote: Counting objects: 55% (1611/2928) remote: Counting objects: 56% (1640/2928) remote: Counting objects: 57% (1669/2928) remote: Counting objects: 58% (1699/2928) remote: Counting objects: 59% (1728/2928) remote: Counting objects: 60% (1757/2928) remote: Counting objects: 61% (1787/2928) remote: Counting objects: 62% (1816/2928) remote: Counting objects: 63% (1845/2928) remote: Counting objects: 64% (1874/2928) remote: Counting objects: 65% (1904/2928) remote: Counting objects: 66% (1933/2928) remote: Counting objects: 67% (1962/2928) remote: Counting objects: 68% (1992/2928) remote: Counting objects: 69% (2021/2928) remote: Counting objects: 70% (2050/2928) remote: Counting objects: 71% (2079/2928) remote: Counting objects: 72% (2109/2928) remote: Counting objects: 73% (2138/2928) remote: Counting objects: 74% (2167/2928) remote: Counting objects: 75% (2196/2928) remote: Counting objects: 76% (2226/2928) remote: Counting objects: 77% (2255/2928) remote: Counting objects: 78% (2284/2928) remote: Counting objects: 79% (2314/2928) remote: Counting objects: 80% (2343/2928) remote: Counting objects: 81% (2372/2928) remote: Counting objects: 82% (2401/2928) remote: Counting objects: 83% (2431/2928) remote: Counting objects: 84% (2460/2928) remote: Counting objects: 85% (2489/2928) remote: Counting objects: 86% (2519/2928) remote: Counting objects: 87% (2548/2928) remote: Counting objects: 88% (2577/2928) remote: Counting objects: 89% (2606/2928) remote: Counting objects: 90% (2636/2928) remote: Counting objects: 91% (2665/2928) remote: Counting objects: 92% (2694/2928) remote: Counting objects: 93% (2724/2928) remote: Counting objects: 94% (2753/2928) remote: Counting objects: 95% (2782/2928) remote: Counting objects: 96% (2811/2928) remote: Counting objects: 97% (2841/2928) remote: Counting objects: 98% (2870/2928) remote: Counting objects: 99% (2899/2928) remote: Counting objects: 100% (2928/2928) remote: Counting objects: 100% (2928/2928), done.
  16. 18.63 s remote: Compressing objects: 0% (1/206) remote: Compressing objects: 1% (3/206) remote: Compressing objects: 2% (5/206) remote: Compressing objects: 3% (7/206) remote: Compressing objects: 4% (9/206) remote: Compressing objects: 5% (11/206) remote: Compressing objects: 6% (13/206) remote: Compressing objects: 7% (15/206) remote: Compressing objects: 8% (17/206) remote: Compressing objects: 9% (19/206) remote: Compressing objects: 10% (21/206) remote: Compressing objects: 11% (23/206) remote: Compressing objects: 12% (25/206) remote: Compressing objects: 13% (27/206) remote: Compressing objects: 14% (29/206) remote: Compressing objects: 15% (31/206) remote: Compressing objects: 16% (33/206) remote: Compressing objects: 17% (36/206) remote: Compressing objects: 18% (38/206) remote: Compressing objects: 19% (40/206) remote: Compressing objects: 20% (42/206) remote: Compressing objects: 21% (44/206) remote: Compressing objects: 22% (46/206) remote: Compressing objects: 23% (48/206) remote: Compressing objects: 24% (50/206) remote: Compressing objects: 25% (52/206) remote: Compressing objects: 26% (54/206) remote: Compressing objects: 27% (56/206) remote: Compressing objects: 28% (58/206) remote: Compressing objects: 29% (60/206) remote: Compressing objects: 30% (62/206) remote: Compressing objects: 31% (64/206) remote: Compressing objects: 32% (66/206) remote: Compressing objects: 33% (68/206) remote: Compressing objects: 34% (71/206) remote: Compressing objects: 35% (73/206) remote: Compressing objects: 36% (75/206) remote: Compressing objects: 37% (77/206) remote: Compressing objects: 38% (79/206) remote: Compressing objects: 39% (81/206) remote: Compressing objects: 40% (83/206) remote: Compressing objects: 41% (85/206) remote: Compressing objects: 42% (87/206) remote: Compressing objects: 43% (89/206) remote: Compressing objects: 44% (91/206) remote: Compressing objects: 45% (93/206) remote: Compressing objects: 46% (95/206) remote: Compressing objects: 47% (97/206) remote: Compressing objects: 48% (99/206) remote: Compressing objects: 49% (101/206) remote: Compressing objects: 50% (103/206) remote: Compressing objects: 51% (106/206) remote: Compressing objects: 52% (108/206) remote: Compressing objects: 53% (110/206) remote: Compressing objects: 54% (112/206) remote: Compressing objects: 55% (114/206) remote: Compressing objects: 56% (116/206) remote: Compressing objects: 57% (118/206) remote: Compressing objects: 58% (120/206) remote: Compressing objects: 59% (122/206) remote: Compressing objects: 60% (124/206) remote: Compressing objects: 61% (126/206) remote: Compressing objects: 62% (128/206) remote: Compressing objects: 63% (130/206) remote: Compressing objects: 64% (132/206) remote: Compressing objects: 65% (134/206) remote: Compressing objects: 66% (136/206) remote: Compressing objects: 67% (139/206) remote: Compressing objects: 68% (141/206) remote: Compressing objects: 69% (143/206) remote: Compressing objects: 70% (145/206) remote: Compressing objects: 71% (147/206) remote: Compressing objects: 72% (149/206) remote: Compressing objects: 73% (151/206) remote: Compressing objects: 74% (153/206) remote: Compressing objects: 75% (155/206) remote: Compressing objects: 76% (157/206) remote: Compressing objects: 77% (159/206) remote: Compressing objects: 78% (161/206) remote: Compressing objects: 79% (163/206) remote: Compressing objects: 80% (165/206) remote: Compressing objects: 81% (167/206) remote: Compressing objects: 82% (169/206) remote: Compressing objects: 83% (171/206) remote: Compressing objects: 84% (174/206) remote: Compressing objects: 85% (176/206) remote: Compressing objects: 86% (178/206) remote: Compressing objects: 87% (180/206) remote: Compressing objects: 88% (182/206) remote: Compressing objects: 89% (184/206) remote: Compressing objects: 90% (186/206) remote: Compressing objects: 91% (188/206) remote: Compressing objects: 92% (190/206) remote: Compressing objects: 93% (192/206) remote: Compressing objects: 94% (194/206) remote: Compressing objects: 95% (196/206) remote: Compressing objects: 96% (198/206) remote: Compressing objects: 97% (200/206) remote: Compressing objects: 98% (202/206) remote: Compressing objects: 99% (204/206) remote: Compressing objects: 100% (206/206) remote: Compressing objects: 100% (206/206), done.
  17. 18.88 s Receiving objects: 0% (1/11155) Receiving objects: 1% (112/11155) Receiving objects: 2% (224/11155) Receiving objects: 3% (335/11155) Receiving objects: 4% (447/11155) Receiving objects: 5% (558/11155) Receiving objects: 6% (670/11155) Receiving objects: 7% (781/11155) Receiving objects: 8% (893/11155) Receiving objects: 9% (1004/11155) Receiving objects: 10% (1116/11155) Receiving objects: 11% (1228/11155) Receiving objects: 12% (1339/11155) Receiving objects: 13% (1451/11155) Receiving objects: 14% (1562/11155) Receiving objects: 15% (1674/11155) Receiving objects: 16% (1785/11155) Receiving objects: 17% (1897/11155) Receiving objects: 18% (2008/11155) Receiving objects: 19% (2120/11155) Receiving objects: 20% (2231/11155) Receiving objects: 21% (2343/11155) Receiving objects: 22% (2455/11155) Receiving objects: 23% (2566/11155) Receiving objects: 24% (2678/11155) Receiving objects: 25% (2789/11155) Receiving objects: 26% (2901/11155) Receiving objects: 27% (3012/11155) Receiving objects: 28% (3124/11155) Receiving objects: 29% (3235/11155) Receiving objects: 30% (3347/11155) Receiving objects: 31% (3459/11155) Receiving objects: 32% (3570/11155) Receiving objects: 33% (3682/11155) Receiving objects: 34% (3793/11155) Receiving objects: 35% (3905/11155) Receiving objects: 36% (4016/11155) Receiving objects: 37% (4128/11155) Receiving objects: 38% (4239/11155) Receiving objects: 39% (4351/11155) Receiving objects: 40% (4462/11155) Receiving objects: 41% (4574/11155) Receiving objects: 42% (4686/11155) Receiving objects: 43% (4797/11155) Receiving objects: 44% (4909/11155) Receiving objects: 45% (5020/11155) Receiving objects: 46% (5132/11155) Receiving objects: 47% (5243/11155) Receiving objects: 48% (5355/11155) Receiving objects: 49% (5466/11155) Receiving objects: 50% (5578/11155) Receiving objects: 51% (5690/11155) Receiving objects: 52% (5801/11155) Receiving objects: 53% (5913/11155) Receiving objects: 54% (6024/11155) Receiving objects: 55% (6136/11155) Receiving objects: 56% (6247/11155) Receiving objects: 57% (6359/11155) Receiving objects: 58% (6470/11155) Receiving objects: 59% (6582/11155) Receiving objects: 60% (6693/11155) Receiving objects: 61% (6805/11155) Receiving objects: 62% (6917/11155) Receiving objects: 63% (7028/11155) Receiving objects: 64% (7140/11155) Receiving objects: 65% (7251/11155) Receiving objects: 66% (7363/11155) Receiving objects: 67% (7474/11155) Receiving objects: 68% (7586/11155) Receiving objects: 69% (7697/11155) Receiving objects: 70% (7809/11155) Receiving objects: 71% (7921/11155) Receiving objects: 72% (8032/11155) Receiving objects: 73% (8144/11155) Receiving objects: 74% (8255/11155) Receiving objects: 75% (8367/11155) Receiving objects: 76% (8478/11155) Receiving objects: 77% (8590/11155) Receiving objects: 78% (8701/11155) Receiving objects: 79% (8813/11155) Receiving objects: 80% (8924/11155) Receiving objects: 81% (9036/11155) Receiving objects: 82% (9148/11155) Receiving objects: 83% (9259/11155) Receiving objects: 84% (9371/11155) Receiving objects: 85% (9482/11155) Receiving objects: 86% (9594/11155) Receiving objects: 87% (9705/11155) Receiving objects: 88% (9817/11155) Receiving objects: 89% (9928/11155) Receiving objects: 90% (10040/11155) Receiving objects: 91% (10152/11155) Receiving objects: 92% (10263/11155) Receiving objects: 93% (10375/11155) Receiving objects: 94% (10486/11155) Receiving objects: 95% (10598/11155) Receiving objects: 96% (10709/11155) Receiving objects: 97% (10821/11155) Receiving objects: 98% (10932/11155) Receiving objects: 99% (11044/11155) remote: Total 11155 (delta 2810), reused 2722 (delta 2722), pack-reused 8227 (from 2)
  18. 18.88 s Receiving objects: 100% (11155/11155) Receiving objects: 100% (11155/11155), 5.82 MiB | 24.12 MiB/s, done.
  19. 19.04 s Resolving deltas: 0% (0/8818) Resolving deltas: 1% (89/8818) Resolving deltas: 2% (177/8818) Resolving deltas: 3% (265/8818) Resolving deltas: 4% (353/8818) Resolving deltas: 5% (443/8818) Resolving deltas: 6% (531/8818) Resolving deltas: 7% (618/8818) Resolving deltas: 8% (706/8818) Resolving deltas: 9% (794/8818) Resolving deltas: 10% (882/8818) Resolving deltas: 11% (970/8818) Resolving deltas: 12% (1059/8818) Resolving deltas: 13% (1148/8818) Resolving deltas: 14% (1235/8818) Resolving deltas: 15% (1323/8818) Resolving deltas: 16% (1411/8818) Resolving deltas: 17% (1500/8818) Resolving deltas: 18% (1590/8818) Resolving deltas: 19% (1676/8818) Resolving deltas: 20% (1764/8818) Resolving deltas: 21% (1853/8818) Resolving deltas: 22% (1940/8818) Resolving deltas: 23% (2029/8818) Resolving deltas: 24% (2117/8818) Resolving deltas: 25% (2205/8818) Resolving deltas: 26% (2294/8818) Resolving deltas: 27% (2381/8818) Resolving deltas: 28% (2470/8818) Resolving deltas: 29% (2558/8818) Resolving deltas: 30% (2646/8818) Resolving deltas: 31% (2734/8818) Resolving deltas: 32% (2822/8818) Resolving deltas: 33% (2910/8818) Resolving deltas: 34% (2999/8818) Resolving deltas: 35% (3087/8818) Resolving deltas: 36% (3175/8818) Resolving deltas: 37% (3263/8818) Resolving deltas: 38% (3351/8818) Resolving deltas: 39% (3440/8818) Resolving deltas: 40% (3528/8818) Resolving deltas: 41% (3616/8818) Resolving deltas: 42% (3704/8818) Resolving deltas: 43% (3792/8818) Resolving deltas: 44% (3880/8818) Resolving deltas: 45% (3970/8818) Resolving deltas: 46% (4057/8818) Resolving deltas: 47% (4145/8818) Resolving deltas: 48% (4234/8818) Resolving deltas: 49% (4321/8818) Resolving deltas: 50% (4409/8818) Resolving deltas: 51% (4499/8818) Resolving deltas: 52% (4586/8818) Resolving deltas: 53% (4674/8818) Resolving deltas: 54% (4762/8818) Resolving deltas: 55% (4850/8818) Resolving deltas: 56% (4939/8818) Resolving deltas: 57% (5027/8818) Resolving deltas: 58% (5116/8818) Resolving deltas: 59% (5203/8818) Resolving deltas: 60% (5291/8818) Resolving deltas: 61% (5379/8818) Resolving deltas: 62% (5468/8818) Resolving deltas: 63% (5556/8818) Resolving deltas: 64% (5645/8818) Resolving deltas: 65% (5733/8818) Resolving deltas: 66% (5822/8818) Resolving deltas: 67% (5909/8818) Resolving deltas: 68% (5997/8818) Resolving deltas: 69% (6085/8818) Resolving deltas: 70% (6173/8818) Resolving deltas: 71% (6261/8818) Resolving deltas: 72% (6350/8818) Resolving deltas: 73% (6438/8818) Resolving deltas: 74% (6526/8818) Resolving deltas: 75% (6615/8818) Resolving deltas: 76% (6702/8818) Resolving deltas: 77% (6790/8818) Resolving deltas: 78% (6879/8818) Resolving deltas: 79% (6968/8818) Resolving deltas: 80% (7055/8818) Resolving deltas: 81% (7143/8818) Resolving deltas: 82% (7232/8818) Resolving deltas: 83% (7319/8818) Resolving deltas: 84% (7408/8818) Resolving deltas: 85% (7496/8818) Resolving deltas: 86% (7584/8818) Resolving deltas: 87% (7672/8818) Resolving deltas: 88% (7760/8818) Resolving deltas: 89% (7849/8818) Resolving deltas: 90% (7937/8818) Resolving deltas: 91% (8025/8818) Resolving deltas: 92% (8113/8818) Resolving deltas: 93% (8201/8818) Resolving deltas: 94% (8289/8818) Resolving deltas: 95% (8378/8818) Resolving deltas: 96% (8466/8818) Resolving deltas: 97% (8554/8818) Resolving deltas: 98% (8642/8818) Resolving deltas: 99% (8730/8818) Resolving deltas: 100% (8818/8818) Resolving deltas: 100% (8818/8818), done.
  20. 19.08 s From https://github.com/alphal00p/symbolica
  21. 19.08 s * [new branch] codex/gl638-evaluator-constant-merge -> codex/gl638-evaluator-constant-merge
  22. 19.08 s * [new branch] codex/kirapy-state-registry -> codex/kirapy-state-registry
  23. 19.08 s * [new branch] codex/kirapy-state-registry-dev-2026-08-25 -> codex/kirapy-state-registry-dev-2026-08-25
  24. 19.08 s * [new branch] codex/phase-fix-nested-tensor-counters -> codex/phase-fix-nested-tensor-counters
  25. 19.08 s * [new branch] codex/state-import-d6bb961 -> codex/state-import-d6bb961
  26. 19.08 s * [new branch] evaluate -> evaluate
  27. 19.08 s * [new branch] main -> main
  28. 19.08 s * [new branch] nested_symmetrize -> nested_symmetrize
  29. 19.08 s * [new branch] no_namespace -> no_namespace
  30. 19.08 s * [new branch] packed_exp -> packed_exp
  31. 19.08 s * [new branch] random -> random
  32. 19.08 s * [new branch] rat_parser -> rat_parser
  33. 19.08 s * [new branch] symbolica_fork_for_v0_3_3 -> symbolica_fork_for_v0_3_3
  34. 19.08 s * [new branch] transformer -> transformer
  35. 19.08 s * [new ref] refs/pull/1/head -> refs/pull/1/head
  36. 19.08 s * [new ref] refs/pull/2/head -> refs/pull/2/head
  37. 19.08 s * [new tag] v0.1.0 -> v0.1.0
  38. 20.04 s Downloading cached gcc-15.2.0-libgcc from https://cache.nix-ci.com
  39. 20.04 s Downloading cached xgcc-15.2.0-libgcc from https://cache.nix-ci.com
  40. 20.04 s Downloading cached libunistring from https://cache.nix-ci.com
  41. 20.07 s Downloaded cached gcc-15.2.0-libgcc (193 KiB) in 32ms
  42. 20.07 s Progress: 0 of 1 built, 1 of 7 downloaded from cache (2 downloading)
  43. 20.08 s Downloaded cached xgcc-15.2.0-libgcc (193 KiB) in 37ms
  44. 20.08 s Progress: 0 of 1 built, 2 of 7 downloaded from cache (1 downloading)
  45. 20.11 s Downloaded cached libunistring (2 MiB) in 72ms
  46. 20.11 s Progress: 0 of 1 built, 3 of 7 downloaded from cache
  47. 20.11 s Downloading cached libidn2 from https://cache.nix-ci.com
  48. 20.11 s Downloaded cached libidn2 in 0ms
  49. 20.11 s Progress: 0 of 1 built, 4 of 7 downloaded from cache
  50. 20.11 s Downloading cached glibc-2.42 from https://cache.nix-ci.com
  51. 20.68 s Downloaded cached glibc-2.42 (33.5 MiB) in 564ms
  52. 20.68 s Progress: 0 of 1 built, 5 of 7 downloaded from cache
  53. 20.68 s Downloading cached gcc-15.2.0-lib from https://cache.nix-ci.com
  54. 20.68 s Downloaded cached gcc-15.2.0-lib in 0ms
  55. 20.68 s Progress: 0 of 1 built, 6 of 7 downloaded from cache
  56. 20.68 s Downloading cached clinnet from https://cache.nix-ci.com
  57. 20.68 s Downloaded cached clinnet in 0ms
  58. 20.68 s Progress: 0 of 1 built, 7 of 7 downloaded from cache
  59. 20.68 s /nix/store/gxkkz0d962bpncv485h68vpccmf9ns9m-clinnet-0.1.8
  60. 20.72 s Build succeeded.
Tail Raw Logs