Switch to uint8_t, some optimizations #2483
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~0156CD.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~06A5YQ.dockerbuild
|
23.4 KB |
|
|
PlummersSoftwareLLC~Primes~0R7AZ1.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~0Z9KFH.dockerbuild
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~1CRAGT.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~1EOAA8.dockerbuild
|
45.2 KB |
|
|
PlummersSoftwareLLC~Primes~1MM8ED.dockerbuild
|
17.1 KB |
|
|
PlummersSoftwareLLC~Primes~3HECE9.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~3S8W8V.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~4FF90I.dockerbuild
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~4G5108.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~55L12L.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~5B61EZ.dockerbuild
|
54.4 KB |
|
|
PlummersSoftwareLLC~Primes~5TSDWU.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~6MXIBK.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~759GWO.dockerbuild
|
22.5 KB |
|
|
PlummersSoftwareLLC~Primes~7F67L3.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~85DKD2.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~8LQWE1.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~8SM8JG.dockerbuild
|
32.4 KB |
|
|
PlummersSoftwareLLC~Primes~90LSQV.dockerbuild
|
32.5 KB |
|
|
PlummersSoftwareLLC~Primes~96FNC8.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~9FN32J.dockerbuild
|
24.3 KB |
|
|
PlummersSoftwareLLC~Primes~9ILHHZ.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~9JPYPI.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~A84IT7.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~AGG2BD.dockerbuild
|
18.2 KB |
|
|
PlummersSoftwareLLC~Primes~AS869E.dockerbuild
|
56.7 KB |
|
|
PlummersSoftwareLLC~Primes~AWE4TU.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~BC3SP9.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~BT8R9X.dockerbuild
|
24.3 KB |
|
|
PlummersSoftwareLLC~Primes~C6OFTX.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~CCMYQX.dockerbuild
|
16.9 KB |
|
|
PlummersSoftwareLLC~Primes~CD51XX.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~CFEJ2M.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~CFJM3U.dockerbuild
|
30 KB |
|
|
PlummersSoftwareLLC~Primes~CR48JI.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~CY363Z.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~DA5RCU.dockerbuild
|
24.8 KB |
|
|
PlummersSoftwareLLC~Primes~E03KKT.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~EH50DH.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~ENVKS7.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~EOU4NQ.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~F18CJW.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~F42UPY.dockerbuild
|
17.9 KB |
|
|
PlummersSoftwareLLC~Primes~F8H4JV.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~FIQZVG.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~FO88A8.dockerbuild
|
21.2 KB |
|
|
PlummersSoftwareLLC~Primes~G043I4.dockerbuild
|
20.7 KB |
|
|
PlummersSoftwareLLC~Primes~GBBCZW.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~GVE7PM.dockerbuild
|
47.7 KB |
|
|
PlummersSoftwareLLC~Primes~H0T4U1.dockerbuild
|
12.9 KB |
|
|
PlummersSoftwareLLC~Primes~HOZSBP.dockerbuild
|
37.4 KB |
|
|
PlummersSoftwareLLC~Primes~HVBG2W.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~I40IHA.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~I8047A.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~I81JOE.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~IJGI5S.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~INVEV3.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~IP36QQ.dockerbuild
|
12.9 KB |
|
|
PlummersSoftwareLLC~Primes~ITYPB2.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~IUE18A.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~IYDGUH.dockerbuild
|
29.4 KB |
|
|
PlummersSoftwareLLC~Primes~IYHKOM.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~J72N99.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~JAFBPN.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~JF8KIO.dockerbuild
|
19.1 KB |
|
|
PlummersSoftwareLLC~Primes~JGNJM8.dockerbuild
|
27.4 KB |
|
|
PlummersSoftwareLLC~Primes~JMLKH5.dockerbuild
|
29.1 KB |
|
|
PlummersSoftwareLLC~Primes~JPHB4C.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~K9IQSW.dockerbuild
|
37.5 KB |
|
|
PlummersSoftwareLLC~Primes~KEMKCV.dockerbuild
|
35.5 KB |
|
|
PlummersSoftwareLLC~Primes~KOZVXI.dockerbuild
|
23.6 KB |
|
|
PlummersSoftwareLLC~Primes~KQ01Y4.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~L201WD.dockerbuild
|
14.4 KB |
|
|
PlummersSoftwareLLC~Primes~L4ZUT4.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~LFUUIQ.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~LHVH71.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~LVTG71.dockerbuild
|
37 KB |
|
|
PlummersSoftwareLLC~Primes~LWXF5Q.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~M0URU1.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~M35LGU.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~MEQM4B.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~MPK9MV.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~N00WQI.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~N0VYHM.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~NA6PBR.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~NGUUAS.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~NTFJBQ.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~NTKVK6.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~O4339D.dockerbuild
|
24.3 KB |
|
|
PlummersSoftwareLLC~Primes~O44M9A.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~O5F299.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~O6ZQP4.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~OATUGQ.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~OVRWQC.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~OVVWNJ.dockerbuild
|
14.6 KB |
|
|
PlummersSoftwareLLC~Primes~OXTVFG.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~OZ4X30.dockerbuild
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~OZ7AWR.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~OZU9GA.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~P6MC8Y.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~PGT3RR.dockerbuild
|
17.3 KB |
|
|
PlummersSoftwareLLC~Primes~PHVYWY.dockerbuild
|
17.3 KB |
|
|
PlummersSoftwareLLC~Primes~PLJ4R9.dockerbuild
|
25.1 KB |
|
|
PlummersSoftwareLLC~Primes~PYXPQY.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~Q7EJ0U.dockerbuild
|
31.4 KB |
|
|
PlummersSoftwareLLC~Primes~Q7G30W.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~Q8LB05.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~Q8RPXZ.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~QI59LQ.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~QL2UI2.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~QMZ5DC.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~QXFSMI.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~RA2SYT.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~RYK2RL.dockerbuild
|
32.9 KB |
|
|
PlummersSoftwareLLC~Primes~S4WR73.dockerbuild
|
19.9 KB |
|
|
PlummersSoftwareLLC~Primes~S5WK2R.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~SASBDM.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~SCARHI.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~SK7F8R.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~SPTETS.dockerbuild
|
14.6 KB |
|
|
PlummersSoftwareLLC~Primes~T9E4XL.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~TBT8R3.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~TFY6SR.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~TGB2VZ.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~TH6YM1.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~TI16B7.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~TP3LVU.dockerbuild
|
21.8 KB |
|
|
PlummersSoftwareLLC~Primes~TTQN15.dockerbuild
|
23.1 KB |
|
|
PlummersSoftwareLLC~Primes~U44KEV.dockerbuild
|
16.9 KB |
|
|
PlummersSoftwareLLC~Primes~U7GOF1.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~UDMOD9.dockerbuild
|
23.3 KB |
|
|
PlummersSoftwareLLC~Primes~V1JF27.dockerbuild
|
14.7 KB |
|
|
PlummersSoftwareLLC~Primes~V3TNSB.dockerbuild
|
30.2 KB |
|
|
PlummersSoftwareLLC~Primes~VHV9ID.dockerbuild
|
23.3 KB |
|
|
PlummersSoftwareLLC~Primes~W0W8KB.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~WA2STR.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~WLBHA5.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~WWGEQO.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~WWH6JO.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~WYJE7X.dockerbuild
|
18.3 KB |
|
|
PlummersSoftwareLLC~Primes~X0YCAW.dockerbuild
|
18.5 KB |
|
|
PlummersSoftwareLLC~Primes~X580B3.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~XDNNI6.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~XGHURT.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~XIQ26D.dockerbuild
|
29.3 KB |
|
|
PlummersSoftwareLLC~Primes~XXWUMM.dockerbuild
|
21.3 KB |
|
|
PlummersSoftwareLLC~Primes~Y0L97E.dockerbuild
|
111 KB |
|
|
PlummersSoftwareLLC~Primes~Y2GD0Q.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~Y5A83U.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~Y7191Z.dockerbuild
|
35.7 KB |
|
|
PlummersSoftwareLLC~Primes~YAANM4.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~YGRDW2.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~YOBPCW.dockerbuild
|
21.5 KB |
|
|
PlummersSoftwareLLC~Primes~YQE4C7.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~YRMHMY.dockerbuild
|
25.5 KB |
|
|
PlummersSoftwareLLC~Primes~YSI6Q5.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~YXEYT6.dockerbuild
|
21 KB |
|
|
PlummersSoftwareLLC~Primes~YY8I4E.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~YYQJEQ.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~Z68CSH.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~ZE22C6.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~ZMGHYX.dockerbuild
|
15.5 KB |
|