Switch to uint8_t, some optimizations #2485
daveplCI.yml
on: pull_request
collect-solutions
5s
Matrix: build
Annotations
2 errors
|
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
|
|
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
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
PlummersSoftwareLLC~Primes~0B2C5K.dockerbuild
|
24.3 KB |
|
|
PlummersSoftwareLLC~Primes~0FFS4B.dockerbuild
|
21.5 KB |
|
|
PlummersSoftwareLLC~Primes~0YQQJ6.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~1NOVRJ.dockerbuild
|
14.7 KB |
|
|
PlummersSoftwareLLC~Primes~215I67.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~25BSMP.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~2PKZ3K.dockerbuild
|
17.9 KB |
|
|
PlummersSoftwareLLC~Primes~3185PH.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~3FNDF5.dockerbuild
|
23.6 KB |
|
|
PlummersSoftwareLLC~Primes~3G46PG.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~3JR497.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~3OW5YR.dockerbuild
|
17.7 KB |
|
|
PlummersSoftwareLLC~Primes~463ZNP.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~47C2FQ.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~49OAHO.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~4E2ZX7.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~4F40S6.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~54MBUX.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~5GQMB9.dockerbuild
|
29.8 KB |
|
|
PlummersSoftwareLLC~Primes~66OGD3.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~6FO9R1.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~6LKXWN.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~6P2SA4.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~6RMIYG.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~74RL0Q.dockerbuild
|
32.2 KB |
|
|
PlummersSoftwareLLC~Primes~85N5FP.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~8DNAMC.dockerbuild
|
18.5 KB |
|
|
PlummersSoftwareLLC~Primes~8FC9GF.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~8GTIPZ.dockerbuild
|
23.6 KB |
|
|
PlummersSoftwareLLC~Primes~8PV1AN.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~8ZXEDM.dockerbuild
|
24 KB |
|
|
PlummersSoftwareLLC~Primes~90MX4M.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~93567U.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~94NBG0.dockerbuild
|
14.6 KB |
|
|
PlummersSoftwareLLC~Primes~9KP8UQ.dockerbuild
|
36.8 KB |
|
|
PlummersSoftwareLLC~Primes~AQSEK1.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~B6C3TA.dockerbuild
|
27.4 KB |
|
|
PlummersSoftwareLLC~Primes~B9UYCB.dockerbuild
|
14.5 KB |
|
|
PlummersSoftwareLLC~Primes~BOG57E.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~C2N4D0.dockerbuild
|
14.6 KB |
|
|
PlummersSoftwareLLC~Primes~CM1ZBX.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~CR1OTK.dockerbuild
|
21.2 KB |
|
|
PlummersSoftwareLLC~Primes~CS8XOT.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~CVHWK5.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~CXEUO7.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~D8Z3Z8.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~DH6X1S.dockerbuild
|
55.1 KB |
|
|
PlummersSoftwareLLC~Primes~DJWSQE.dockerbuild
|
21.3 KB |
|
|
PlummersSoftwareLLC~Primes~DNSO6J.dockerbuild
|
25.7 KB |
|
|
PlummersSoftwareLLC~Primes~DWLIXG.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~E2HU3F.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~E8T1ER.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~EBSPM6.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~ECYT8R.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~EJPBQW.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~EOED8Q.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~FATLBV.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~FWV2BI.dockerbuild
|
18.2 KB |
|
|
PlummersSoftwareLLC~Primes~GW8MJR.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~GWHGZJ.dockerbuild
|
14.4 KB |
|
|
PlummersSoftwareLLC~Primes~H9Y751.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~HB6C71.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~HS826R.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~HZFV6Y.dockerbuild
|
37.1 KB |
|
|
PlummersSoftwareLLC~Primes~I2ZCBI.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~I9AWP1.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~IDX5X2.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~IMZPKS.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~IOXJ2G.dockerbuild
|
21.2 KB |
|
|
PlummersSoftwareLLC~Primes~JASBDB.dockerbuild
|
16.9 KB |
|
|
PlummersSoftwareLLC~Primes~JDH7KR.dockerbuild
|
12.7 KB |
|
|
PlummersSoftwareLLC~Primes~JGIQ2B.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~JP3ZNM.dockerbuild
|
17.6 KB |
|
|
PlummersSoftwareLLC~Primes~K2ODLS.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~KE8X8Q.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~KKUM53.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~KLM921.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~L13QC1.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~L7RF4B.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~L8OUQK.dockerbuild
|
23.4 KB |
|
|
PlummersSoftwareLLC~Primes~LG4JRY.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~LMWUPU.dockerbuild
|
32.4 KB |
|
|
PlummersSoftwareLLC~Primes~M0KOEN.dockerbuild
|
113 KB |
|
|
PlummersSoftwareLLC~Primes~M388VF.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~MOFRZB.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~MPOO4C.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~MTPAI7.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~MY7CJV.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~MY86VC.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~N8ZI8M.dockerbuild
|
30.4 KB |
|
|
PlummersSoftwareLLC~Primes~NET2D3.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~NINDNC.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~NMRMCA.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~NPX69M.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~NQ2ITT.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~NTP933.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~NUVKJW.dockerbuild
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~O1ZL2A.dockerbuild
|
18.6 KB |
|
|
PlummersSoftwareLLC~Primes~O8KC4A.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~OEU1OZ.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~OYQ7YZ.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~PA7FFH.dockerbuild
|
35.5 KB |
|
|
PlummersSoftwareLLC~Primes~PIAQTS.dockerbuild
|
30.4 KB |
|
|
PlummersSoftwareLLC~Primes~PP5U8E.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~PVY8SR.dockerbuild
|
21.2 KB |
|
|
PlummersSoftwareLLC~Primes~PZLSIB.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~QATN0V.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~QEIMU4.dockerbuild
|
30.3 KB |
|
|
PlummersSoftwareLLC~Primes~QHHX5E.dockerbuild
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~QTRAWU.dockerbuild
|
17.1 KB |
|
|
PlummersSoftwareLLC~Primes~R477F6.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~R6UODT.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~RAWA5E.dockerbuild
|
23.4 KB |
|
|
PlummersSoftwareLLC~Primes~RCIXBV.dockerbuild
|
18.5 KB |
|
|
PlummersSoftwareLLC~Primes~S0WB9B.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~SCWTRE.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~SJ49BX.dockerbuild
|
30.5 KB |
|
|
PlummersSoftwareLLC~Primes~SL1LLH.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~T1EDAU.dockerbuild
|
56 KB |
|
|
PlummersSoftwareLLC~Primes~T8SY7L.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~TCIUSY.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~TRTBPH.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~U0IH9R.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~UBMTUY.dockerbuild
|
46.9 KB |
|
|
PlummersSoftwareLLC~Primes~UEUVAK.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~UNAVXU.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~V40T30.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~VDDXUQ.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~VG65LT.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~VJHWO7.dockerbuild
|
17.9 KB |
|
|
PlummersSoftwareLLC~Primes~VPY04K.dockerbuild
|
22.3 KB |
|
|
PlummersSoftwareLLC~Primes~VTCA4I.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~VZI4FF.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~W5CGBY.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~WCKV61.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~WKXH14.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~WLZG11.dockerbuild
|
17.1 KB |
|
|
PlummersSoftwareLLC~Primes~WNF7JO.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~WOI9HF.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~WRE2MQ.dockerbuild
|
22.8 KB |
|
|
PlummersSoftwareLLC~Primes~WX6P0U.dockerbuild
|
33.1 KB |
|
|
PlummersSoftwareLLC~Primes~X5XI5A.dockerbuild
|
36.6 KB |
|
|
PlummersSoftwareLLC~Primes~X8XGBH.dockerbuild
|
22.9 KB |
|
|
PlummersSoftwareLLC~Primes~X9MRXT.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~XZR9NE.dockerbuild
|
12.8 KB |
|
|
PlummersSoftwareLLC~Primes~Y3ISSO.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~Y5012X.dockerbuild
|
17.1 KB |
|
|
PlummersSoftwareLLC~Primes~Y7CG85.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~YBR3HF.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~YLN2AA.dockerbuild
|
21.2 KB |
|
|
PlummersSoftwareLLC~Primes~YRM4CK.dockerbuild
|
29.7 KB |
|
|
PlummersSoftwareLLC~Primes~YUM68W.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~YVS6U3.dockerbuild
|
35.8 KB |
|
|
PlummersSoftwareLLC~Primes~Z6H9LS.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~Z8FI8I.dockerbuild
|
12.9 KB |
|
|
PlummersSoftwareLLC~Primes~Z8I8MH.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~ZESNDG.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~ZMAMLZ.dockerbuild
|
24.7 KB |
|
|
PlummersSoftwareLLC~Primes~ZMT98Y.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~ZOD1DS.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~ZRMJGS.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~ZSIXIC.dockerbuild
|
50.2 KB |
|
|
PlummersSoftwareLLC~Primes~ZU4TPI.dockerbuild
|
25.7 KB |
|
|
PlummersSoftwareLLC~Primes~ZXK6KY.dockerbuild
|
16.2 KB |
|