From fc1c6b48ce2240be4c29383a2af2f0651356cb62 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 30 Sep 2024 04:14:12 +0100 Subject: [PATCH] try to build java on linux/arm nightly Signed-off-by: Nikolaj Bjorner --- genaisrc/genaiscript.d.ts | Bin 65101 -> 73251 bytes scripts/nightly.yaml | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/genaisrc/genaiscript.d.ts b/genaisrc/genaiscript.d.ts index df355fd9fa1b190cf319b4f7c3aed7f553ed3c6f..c0a6426d2c5fa168f0c708d8f185820733d3431f 100644 GIT binary patch delta 6888 zcmc&(U2I%O6_)FyEiN%}{hyz9>Wb8M96J#qfMYu`PC^{=SI3YD*L7y^on2pi_ulQD zxpvoa+4O-Ts)C3IRpJR%yzl^0qLqpWMKte}01{AWgi_!Mi6SJVs4WkiGc)&ZcS9T` zgkS7Czvq1C%y)kL*1wv+_r|8H@3qU-wyl*(;yPRqKTnFj&0ONxoKVjuVv#ukDbnYi zVpt?zSj@2iS6RMig+ahPK?3$%$hhFcEd+lCN7Qe1%v7|>DjympGtBY>dyI>~@d`uc zu!)uzT3Q^r+}R_4*x6p)*>P)kHy*P_`f87mcMg4i%Sp#$rLyz8&bgx)zpMaapxx(-YT2$ozXnB5nRPzw#TfKKC7g4BdX!F;Zp8p%_~4FeW$ z^;jqZ>c-!E$tjgm>$#wAvYLmM#W;^w3#Z8J1wRz=h*R+vN`YSp(#yb?!_=9^xlp#nWvl|)0koMRe1vYu z0ng0vqA0oxVc=#4t$ z$hc^iC2f}}peZEchCWs=d?QZ)Y{HUV=OE|@#tL}fw7%~w$TFizKjv9IV?abkuc4+X zh$`n84Xni(#zR-$ywE#Sq9W^a;BFb1qq{SM9D)eIssUG!Agysn_(2(k{7lwa8>3R^ zY$yxv{*+OX795WvQ)M}|L<>lRsmn_&Sb$NvZ>{H9z4w^ovKSZSMqYxbp+>cZkUGKo zd03}RZ99Sb&BGjoywHsDa?y3XCCxM3S!MFZ16>d5E9C8w?vwEPJ%|<{BXK+kUPUD@ z!7%1q!e4TPLMIByxTb$#ltghvpJddNlg~bO;Ur`LoU9l&=Wr^ahT$fL~G~f<>m3N@#HoF+`*OXloXt0=EZWD`^e!E4QMeQp0?!; z>&XLY0U-YHe!UzVH_}5fl774JuC(Rki|ZY-e}C%}n)tGh8}_On22u$5)9c-1ig{zL zA|2vz7hm}T*_G8CY$GS$?ylia*a!i>MQu|#2wpcxjzGY6eTs=!g!-g5Z=?!>M1bpR zAc4_o+l=YtD~$@Ubx#TwwK(!%#KBnRER8%KC2r4}3(n9MdmOw1i85=d#5vF=kKpZ! z33$J}LObNZ{w?z6&o++$f_=zv%GoW~=Z5O2Yht>_oe-Din9C7**AE14Gn}P%8luvt zXzDXjKH3itNR=B;wZj+tHk2d9+gZz0Hf$Mw4||k+kcbA3 zC@aie-z)3^kMrV$siBDm@6SfYIaBJybkfjJX^?8{g;ObWjn=?4!PM=koE&GqLNxpgG!3XpW7Dp^LeELir z6;D#H5JGam(;>ET!Hb%l+W0+S@Z=gOsG+VEiS^O)hvawv&@108w?REsQ@Nr2@TcJV zIe6r$6jqNz!C|6~IT;q^eBWi%OMC&ALIWTQPv;;NfmNv#C^||INNixL9}^tt5olAQ zw+_tp;aHz+T5a#lCLlNs(XhHZywlu%PPGP{d^yRwI3hdBCk{kSikc@TpkF}tkXb1Iai>Wagij#p;A|Me zT2}|mYq6+HI1_jcm#bge0nhTGsbOfEI7J6q1m>9JJA^og?uxyI!}>Un}1@t)!=E zy$rH709$<702AvJT?9HoD!a@Ap&;1R2xk@Av{k@60QvtlT3R@=#L97BD}|TQcRMz+ z>VeYe%$K@{KbMx`6d~T#`Pehe#M0G1o)*fFr6MD#wC189kk}t3K$bt25w3&wF*lbi*%6~l5 z-83O@|Ah3qEDs%>*(B-*PGJ#8Ah+*nhBl^r@!Q*~udjD+k{{XMS^eFs?;LH~TfKJc zmF9<`oA@+#yX1>6w?Ag9y2E2DNGjN9L|VdUuNq=<&u@Avy0)OUJvJE>LY)vteb&%h z^1!9g%V!j;%mUv}BylPqdb;rk;bC}qm_`RIjFR}U0Wv;8Cb7SUb{{m1Bm5I3)p?tazW2+}||F#As z*ZVr;q1&%lltgg~JV>Tg0~FHjw2x~r0c$8y2<2tZiY)-Wi8>d^V65$JUWgM&>@}oJ_HtMlfP~5 zsD9<|e|~6YQuWBu*>tjouRU-~d5@1F`6o}(|ABvo*vx`5kC9~>K)XgPhPkNcQ@wEK zdh^j4Xo|A{I~g`m5N0rVm{{>mb4R-l{`bYSb&$qVpNhm}<^A2Q_@9_8@ihaj$g}HR Zof+zjY46<+Iuz}Vy}zyc=!XZJ{|!My?ezcv delta 336 zcmZ3yhvn=a<_+(JC;!Rkoy;Z1KiNV|c=9So!Oc5GPHRt|>)^@imYSEGx_P0aI^$#> z$F#{cM+G*YaN=Q|Y@^GyIol&oW-{|6xk;)0lMl0qZ(g6uDZrJVl$DxX5*-^IJ9%QE zQTty()d zDNcOy2?rr@g&Kw6jMSVQ|I(6z(h?vK?D~|+jL9OCzptLKS#GU3%Vez$T${Z%-ge!r z{=J)d^1Z)1HtYUZ