Update Crystal version to 1.14 and run code formatter #2477
marghidanuCI.yml
on: pull_request
collect-solutions
3s
Matrix: build
Annotations
2 errors
|
build (PrimeV/solution_2)
buildx failed with: ERROR: failed to solve: process "/bin/sh -c v -prod primes.v" did not complete successfully: exit code: 1
|
|
build (PrimeV/solution_1)
buildx failed with: ERROR: failed to solve: process "/bin/sh -c v -prod primes.v" did not complete successfully: exit code: 1
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
PlummersSoftwareLLC~Primes~0A0YT1.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~0BHJ83.dockerbuild
|
33.1 KB |
|
|
PlummersSoftwareLLC~Primes~0D7OIJ.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~0IUSXP.dockerbuild
|
21.8 KB |
|
|
PlummersSoftwareLLC~Primes~0R6NB4.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~0SFQZP.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~0T3CZJ.dockerbuild
|
30 KB |
|
|
PlummersSoftwareLLC~Primes~0UIAHF.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~0UVL8M.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~1U72TT.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~1WVC5D.dockerbuild
|
21.6 KB |
|
|
PlummersSoftwareLLC~Primes~2I39MG.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~32T880.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~3BO9BP.dockerbuild
|
17.1 KB |
|
|
PlummersSoftwareLLC~Primes~3NN7IL.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~3R3MVX.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~40ZPDJ.dockerbuild
|
24.9 KB |
|
|
PlummersSoftwareLLC~Primes~465AG6.dockerbuild
|
37.7 KB |
|
|
PlummersSoftwareLLC~Primes~46BOZJ.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~53GEUO.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~58OAQ9.dockerbuild
|
22.3 KB |
|
|
PlummersSoftwareLLC~Primes~5CL7SQ.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~5V69BP.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~62TM1Q.dockerbuild
|
17.6 KB |
|
|
PlummersSoftwareLLC~Primes~705CUU.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~737JJ8.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~7DJUBP.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~7WDL7M.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~81FHZ9.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~8EID5Z.dockerbuild
|
22.8 KB |
|
|
PlummersSoftwareLLC~Primes~8KWT0E.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~8ZS44H.dockerbuild
|
14.5 KB |
|
|
PlummersSoftwareLLC~Primes~90Q074.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~93UIWA.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~9M87YG.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~ADL7DT.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~AK09UC.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~APZQS3.dockerbuild
|
24.2 KB |
|
|
PlummersSoftwareLLC~Primes~B0YOV4.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~BJ9JBQ.dockerbuild
|
30 KB |
|
|
PlummersSoftwareLLC~Primes~CNEWRN.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~D6ZRGB.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~DD892I.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~E545Q1.dockerbuild
|
29.1 KB |
|
|
PlummersSoftwareLLC~Primes~ENGOU0.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~FNC7ME.dockerbuild
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~GSZFD8.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~GZ5TAU.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~HJKIR3.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~HLRH6K.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~HU5FND.dockerbuild
|
18.8 KB |
|
|
PlummersSoftwareLLC~Primes~HZKWFH.dockerbuild
|
21.1 KB |
|
|
PlummersSoftwareLLC~Primes~I2V3MX.dockerbuild
|
38.3 KB |
|
|
PlummersSoftwareLLC~Primes~I9AQEQ.dockerbuild
|
45.2 KB |
|
|
PlummersSoftwareLLC~Primes~IJY51C.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~IKHWWN.dockerbuild
|
54.9 KB |
|
|
PlummersSoftwareLLC~Primes~ILPFXL.dockerbuild
|
22.2 KB |
|
|
PlummersSoftwareLLC~Primes~JAESK8.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~JIOBNS.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~K08WYX.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~KJU0CB.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~KT7ENG.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~L3VXAN.dockerbuild
|
17.1 KB |
|
|
PlummersSoftwareLLC~Primes~L6B3A2.dockerbuild
|
36.6 KB |
|
|
PlummersSoftwareLLC~Primes~LHBQHU.dockerbuild
|
32.9 KB |
|
|
PlummersSoftwareLLC~Primes~LOBT05.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~LQ0QNH.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~LWZJP9.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~LWZZ4F.dockerbuild
|
23.8 KB |
|
|
PlummersSoftwareLLC~Primes~M5GRFN.dockerbuild
|
56.2 KB |
|
|
PlummersSoftwareLLC~Primes~M5VQOG.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~M7G2YP.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~MEN4IO.dockerbuild
|
29 KB |
|
|
PlummersSoftwareLLC~Primes~MG2FYN.dockerbuild
|
21.2 KB |
|
|
PlummersSoftwareLLC~Primes~MGP75I.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~MVIU5M.dockerbuild
|
18.5 KB |
|
|
PlummersSoftwareLLC~Primes~N0GJG0.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~N1NDOQ.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~N44KTY.dockerbuild
|
19 KB |
|
|
PlummersSoftwareLLC~Primes~NDZNOY.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~NFTY3D.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~NNF9NO.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~NOZT79.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~NP5APR.dockerbuild
|
16.9 KB |
|
|
PlummersSoftwareLLC~Primes~O14KLO.dockerbuild
|
23.5 KB |
|
|
PlummersSoftwareLLC~Primes~O1A85T.dockerbuild
|
14.4 KB |
|
|
PlummersSoftwareLLC~Primes~O33WIQ.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~O7MF6K.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~OKAKLV.dockerbuild
|
18.3 KB |
|
|
PlummersSoftwareLLC~Primes~P14KNC.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~P1DF3A.dockerbuild
|
23 KB |
|
|
PlummersSoftwareLLC~Primes~P5MSZE.dockerbuild
|
51 KB |
|
|
PlummersSoftwareLLC~Primes~PAXJTV.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~PF9CIO.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~PFKRUW.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~PFX2BL.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~PX18MU.dockerbuild
|
20.7 KB |
|
|
PlummersSoftwareLLC~Primes~Q1PIZ0.dockerbuild
|
24.4 KB |
|
|
PlummersSoftwareLLC~Primes~Q2HSF9.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~QA78A2.dockerbuild
|
30.4 KB |
|
|
PlummersSoftwareLLC~Primes~QAXQ4G.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~QI5W5V.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~QJ08HK.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~QJKJSL.dockerbuild
|
24.8 KB |
|
|
PlummersSoftwareLLC~Primes~R0ER40.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~RFB50P.dockerbuild
|
24.4 KB |
|
|
PlummersSoftwareLLC~Primes~RMEUQE.dockerbuild
|
118 KB |
|
|
PlummersSoftwareLLC~Primes~SE1KH2.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~SISR7C.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~SO6I5Q.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~SYAP7A.dockerbuild
|
32.5 KB |
|
|
PlummersSoftwareLLC~Primes~SZZTPP.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~T0P8LZ.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~T68X95.dockerbuild
|
17.9 KB |
|
|
PlummersSoftwareLLC~Primes~T72Y9E.dockerbuild
|
17.7 KB |
|
|
PlummersSoftwareLLC~Primes~TKL3H6.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~TL1Q5Y.dockerbuild
|
12.8 KB |
|
|
PlummersSoftwareLLC~Primes~TPG81F.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~TSKDQJ.dockerbuild
|
35.8 KB |
|
|
PlummersSoftwareLLC~Primes~U1XF8I.dockerbuild
|
12.8 KB |
|
|
PlummersSoftwareLLC~Primes~U8QQYT.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~UDWXAG.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~UR0BPD.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~USE3T4.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~UXVB5K.dockerbuild
|
17.2 KB |
|
|
PlummersSoftwareLLC~Primes~V31XKV.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~V47SEA.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~V5LJQR.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~V6PBS6.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~VD6JLP.dockerbuild
|
31 KB |
|
|
PlummersSoftwareLLC~Primes~VE5DFK.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~VGUWE9.dockerbuild
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~VMGS2T.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~VMWYP3.dockerbuild
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~VRH24L.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~VRQ30Q.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~VXA43L.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~VZW3OR.dockerbuild
|
24 KB |
|
|
PlummersSoftwareLLC~Primes~WFK792.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~WRMV92.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~WUMMKA.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~WXSOAX.dockerbuild
|
25.1 KB |
|
|
PlummersSoftwareLLC~Primes~X4HIYQ.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~XBY6LY.dockerbuild
|
12.8 KB |
|
|
PlummersSoftwareLLC~Primes~XC1W1U.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~XE7BPL.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~XO17TI.dockerbuild
|
21.3 KB |
|
|
PlummersSoftwareLLC~Primes~XSBBTI.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~XT1UX0.dockerbuild
|
28 KB |
|
|
PlummersSoftwareLLC~Primes~Y6ESOP.dockerbuild
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~YO3YOS.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~YOQR04.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~YOR1SP.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~YSJT7B.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~YSKL4E.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~YT4DGS.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~Z1IKY4.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~Z59VTI.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~Z82WY2.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~ZMT38Y.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~ZNQH5D.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~ZP158O.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~ZP5PEX.dockerbuild
|
37.3 KB |
|
|
PlummersSoftwareLLC~Primes~ZUSZAH.dockerbuild
|
13.8 KB |
|