Switch to uint8_t, some optimizations #2479
daveplCI.yml
on: pull_request
collect-solutions
5s
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~01NUVC.dockerbuild
Expired
|
17.2 KB |
|
|
PlummersSoftwareLLC~Primes~0BACST.dockerbuild
Expired
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~0F9K72.dockerbuild
Expired
|
32.4 KB |
|
|
PlummersSoftwareLLC~Primes~0G9UKN.dockerbuild
Expired
|
21.2 KB |
|
|
PlummersSoftwareLLC~Primes~0LKYKB.dockerbuild
Expired
|
30 KB |
|
|
PlummersSoftwareLLC~Primes~182RSN.dockerbuild
Expired
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~18K2ZJ.dockerbuild
Expired
|
23.2 KB |
|
|
PlummersSoftwareLLC~Primes~19P765.dockerbuild
Expired
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~1OBNWW.dockerbuild
Expired
|
54.7 KB |
|
|
PlummersSoftwareLLC~Primes~1QJ46M.dockerbuild
Expired
|
29 KB |
|
|
PlummersSoftwareLLC~Primes~24CS2F.dockerbuild
Expired
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~2C6GW4.dockerbuild
Expired
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~2JXTC1.dockerbuild
Expired
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~2QJLZI.dockerbuild
Expired
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~3XIW3R.dockerbuild
Expired
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~4EQXX5.dockerbuild
Expired
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~4QG2SG.dockerbuild
Expired
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~5T6WF4.dockerbuild
Expired
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~6GTZWK.dockerbuild
Expired
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~739YO0.dockerbuild
Expired
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~78X71K.dockerbuild
Expired
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~7A0EM2.dockerbuild
Expired
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~7PYUAE.dockerbuild
Expired
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~8ISZ6P.dockerbuild
Expired
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~8N2BL9.dockerbuild
Expired
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~8S7J0N.dockerbuild
Expired
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~98680U.dockerbuild
Expired
|
16.9 KB |
|
|
PlummersSoftwareLLC~Primes~9CKZDO.dockerbuild
Expired
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~AGOVV6.dockerbuild
Expired
|
24.2 KB |
|
|
PlummersSoftwareLLC~Primes~AL1HES.dockerbuild
Expired
|
14.6 KB |
|
|
PlummersSoftwareLLC~Primes~ARH64E.dockerbuild
Expired
|
21.1 KB |
|
|
PlummersSoftwareLLC~Primes~ARNHRN.dockerbuild
Expired
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~BATIC7.dockerbuild
Expired
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~BLVNRB.dockerbuild
Expired
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~C0ZTQF.dockerbuild
Expired
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~CC79R1.dockerbuild
Expired
|
25.2 KB |
|
|
PlummersSoftwareLLC~Primes~CFB25F.dockerbuild
Expired
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~CR37C4.dockerbuild
Expired
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~D5RJBZ.dockerbuild
Expired
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~D73LG2.dockerbuild
Expired
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~DII3TZ.dockerbuild
Expired
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~DZFTXB.dockerbuild
Expired
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~E002LI.dockerbuild
Expired
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~EQ8ID6.dockerbuild
Expired
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~F1XX7C.dockerbuild
Expired
|
17.3 KB |
|
|
PlummersSoftwareLLC~Primes~FQ49YW.dockerbuild
Expired
|
35.5 KB |
|
|
PlummersSoftwareLLC~Primes~FYNQPS.dockerbuild
Expired
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~GOQJLK.dockerbuild
Expired
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~GS6OEJ.dockerbuild
Expired
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~HBGA7P.dockerbuild
Expired
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~HLQHC4.dockerbuild
Expired
|
37.6 KB |
|
|
PlummersSoftwareLLC~Primes~HRX0AO.dockerbuild
Expired
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~I0ZDB6.dockerbuild
Expired
|
21 KB |
|
|
PlummersSoftwareLLC~Primes~I5TZBA.dockerbuild
Expired
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~I7YFA2.dockerbuild
Expired
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~IACDK2.dockerbuild
Expired
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~IG7J7A.dockerbuild
Expired
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~IJ3KQZ.dockerbuild
Expired
|
24 KB |
|
|
PlummersSoftwareLLC~Primes~ILWTYD.dockerbuild
Expired
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~IQ3WSW.dockerbuild
Expired
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~JBLG3F.dockerbuild
Expired
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~JC7CHP.dockerbuild
Expired
|
18 KB |
|
|
PlummersSoftwareLLC~Primes~JDWE8L.dockerbuild
Expired
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~JFT76R.dockerbuild
Expired
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~JKZ6L3.dockerbuild
Expired
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~JN1BM5.dockerbuild
Expired
|
29.7 KB |
|
|
PlummersSoftwareLLC~Primes~JO5TMX.dockerbuild
Expired
|
23.7 KB |
|
|
PlummersSoftwareLLC~Primes~JX60KT.dockerbuild
Expired
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~K1ZDPH.dockerbuild
Expired
|
35.6 KB |
|
|
PlummersSoftwareLLC~Primes~K9S8AI.dockerbuild
Expired
|
12.9 KB |
|
|
PlummersSoftwareLLC~Primes~KD79G0.dockerbuild
Expired
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~KDXPP3.dockerbuild
Expired
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~KFA2TP.dockerbuild
Expired
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~KJ8A70.dockerbuild
Expired
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~KKRDB0.dockerbuild
Expired
|
14.4 KB |
|
|
PlummersSoftwareLLC~Primes~KLQS33.dockerbuild
Expired
|
17.6 KB |
|
|
PlummersSoftwareLLC~Primes~KW9AA9.dockerbuild
Expired
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~KWIM8O.dockerbuild
Expired
|
12.9 KB |
|
|
PlummersSoftwareLLC~Primes~KX9YZV.dockerbuild
Expired
|
18.1 KB |
|
|
PlummersSoftwareLLC~Primes~L4ILJN.dockerbuild
Expired
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~L4Q3VR.dockerbuild
Expired
|
25.1 KB |
|
|
PlummersSoftwareLLC~Primes~L6IAT5.dockerbuild
Expired
|
50.5 KB |
|
|
PlummersSoftwareLLC~Primes~L6QUMX.dockerbuild
Expired
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~L9RKWU.dockerbuild
Expired
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~LH9RX1.dockerbuild
Expired
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~LKUIYF.dockerbuild
Expired
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~LQ36GQ.dockerbuild
Expired
|
114 KB |
|
|
PlummersSoftwareLLC~Primes~LSXZZS.dockerbuild
Expired
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~LVIP02.dockerbuild
Expired
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~M52ONI.dockerbuild
Expired
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~MCPWKH.dockerbuild
Expired
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~MM01YL.dockerbuild
Expired
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~MQXEZN.dockerbuild
Expired
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~N16FQ1.dockerbuild
Expired
|
17.7 KB |
|
|
PlummersSoftwareLLC~Primes~N9QO8J.dockerbuild
Expired
|
30.7 KB |
|
|
PlummersSoftwareLLC~Primes~NBO862.dockerbuild
Expired
|
31.2 KB |
|
|
PlummersSoftwareLLC~Primes~NN9N3K.dockerbuild
Expired
|
55.3 KB |
|
|
PlummersSoftwareLLC~Primes~NSUZBY.dockerbuild
Expired
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~O59QI7.dockerbuild
Expired
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~OARNKR.dockerbuild
Expired
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~OJ8QGO.dockerbuild
Expired
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~OZC81D.dockerbuild
Expired
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~Q23BPX.dockerbuild
Expired
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~Q8BXXK.dockerbuild
Expired
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~QBKXVE.dockerbuild
Expired
|
32.2 KB |
|
|
PlummersSoftwareLLC~Primes~QGL95I.dockerbuild
Expired
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~QI10GX.dockerbuild
Expired
|
23.4 KB |
|
|
PlummersSoftwareLLC~Primes~QJXPBE.dockerbuild
Expired
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~QK3MKA.dockerbuild
Expired
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~QKF3J9.dockerbuild
Expired
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~QQ2HSV.dockerbuild
Expired
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~QSOQI3.dockerbuild
Expired
|
14.6 KB |
|
|
PlummersSoftwareLLC~Primes~QWKXM3.dockerbuild
Expired
|
17.3 KB |
|
|
PlummersSoftwareLLC~Primes~QZMIII.dockerbuild
Expired
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~R2ZAG4.dockerbuild
Expired
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~R8HNZP.dockerbuild
Expired
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~RI0FM6.dockerbuild
Expired
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~S4DBB7.dockerbuild
Expired
|
14.7 KB |
|
|
PlummersSoftwareLLC~Primes~SEJ2UK.dockerbuild
Expired
|
24.1 KB |
|
|
PlummersSoftwareLLC~Primes~SM6JVP.dockerbuild
Expired
|
18.7 KB |
|
|
PlummersSoftwareLLC~Primes~SOCVWH.dockerbuild
Expired
|
23.8 KB |
|
|
PlummersSoftwareLLC~Primes~SP97GW.dockerbuild
Expired
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~SWEBEH.dockerbuild
Expired
|
27.5 KB |
|
|
PlummersSoftwareLLC~Primes~SZ9TIG.dockerbuild
Expired
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~T75ZXK.dockerbuild
Expired
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~T9Y4HA.dockerbuild
Expired
|
21.5 KB |
|
|
PlummersSoftwareLLC~Primes~TKNZZF.dockerbuild
Expired
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~TY13XW.dockerbuild
Expired
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~TYU7RX.dockerbuild
Expired
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~U7HPV6.dockerbuild
Expired
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~UCYDUE.dockerbuild
Expired
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~UFRVSC.dockerbuild
Expired
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~UGMCZH.dockerbuild
Expired
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~UTHNGJ.dockerbuild
Expired
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~VA9CJI.dockerbuild
Expired
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~VAIMWZ.dockerbuild
Expired
|
24.4 KB |
|
|
PlummersSoftwareLLC~Primes~VQ92YP.dockerbuild
Expired
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~VUS64A.dockerbuild
Expired
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~VVWLEC.dockerbuild
Expired
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~VWT0IU.dockerbuild
Expired
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~W1DMSK.dockerbuild
Expired
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~W924YY.dockerbuild
Expired
|
37.2 KB |
|
|
PlummersSoftwareLLC~Primes~WKVWS5.dockerbuild
Expired
|
21.4 KB |
|
|
PlummersSoftwareLLC~Primes~WLNQ8Y.dockerbuild
Expired
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~WM1XQ6.dockerbuild
Expired
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~WOEPGX.dockerbuild
Expired
|
29.8 KB |
|
|
PlummersSoftwareLLC~Primes~WW14NQ.dockerbuild
Expired
|
21.9 KB |
|
|
PlummersSoftwareLLC~Primes~WZNURZ.dockerbuild
Expired
|
23.8 KB |
|
|
PlummersSoftwareLLC~Primes~X30F0B.dockerbuild
Expired
|
36.9 KB |
|
|
PlummersSoftwareLLC~Primes~X858P7.dockerbuild
Expired
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~X87QF3.dockerbuild
Expired
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~XB4Z8D.dockerbuild
Expired
|
20.9 KB |
|
|
PlummersSoftwareLLC~Primes~XIW9UE.dockerbuild
Expired
|
46.4 KB |
|
|
PlummersSoftwareLLC~Primes~XJK11Q.dockerbuild
Expired
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~XSYFP0.dockerbuild
Expired
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~XTZ8ED.dockerbuild
Expired
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~Y3O0FA.dockerbuild
Expired
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~YG5WTS.dockerbuild
Expired
|
12.8 KB |
|
|
PlummersSoftwareLLC~Primes~YLGAVJ.dockerbuild
Expired
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~YNSVYC.dockerbuild
Expired
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~YOO4H1.dockerbuild
Expired
|
30.7 KB |
|
|
PlummersSoftwareLLC~Primes~YRJ5YO.dockerbuild
Expired
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~ZEXDW9.dockerbuild
Expired
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~ZFUZM9.dockerbuild
Expired
|
12.8 KB |
|