Switch to uint8_t, some optimizations #2481
daveplCI.yml
on: pull_request
collect-solutions
2s
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~22N01S.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~2CQ5WK.dockerbuild
|
45.5 KB |
|
|
PlummersSoftwareLLC~Primes~2MGD5V.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~3RWP3L.dockerbuild
|
56.4 KB |
|
|
PlummersSoftwareLLC~Primes~3T6XK0.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~423NZO.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~48XTEF.dockerbuild
|
48 KB |
|
|
PlummersSoftwareLLC~Primes~4HDTT1.dockerbuild
|
32.2 KB |
|
|
PlummersSoftwareLLC~Primes~4PC7UQ.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~52ZHC3.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~57KK90.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~5GQ32X.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~5MV2ZB.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~6FIA3I.dockerbuild
|
12.9 KB |
|
|
PlummersSoftwareLLC~Primes~73AU50.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~747N1V.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~7A3VAI.dockerbuild
|
29.5 KB |
|
|
PlummersSoftwareLLC~Primes~7ELXI6.dockerbuild
|
25.9 KB |
|
|
PlummersSoftwareLLC~Primes~7TL53E.dockerbuild
|
23.4 KB |
|
|
PlummersSoftwareLLC~Primes~82F4QV.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~8GRQW4.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~984TVP.dockerbuild
|
16.9 KB |
|
|
PlummersSoftwareLLC~Primes~9JNGO7.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~9L8ITX.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~9QOXLE.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~9V29T0.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~AAKLUG.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~AII88R.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~BUUMW7.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~C18JCG.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~CJS1F9.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~D3WPAU.dockerbuild
|
18.5 KB |
|
|
PlummersSoftwareLLC~Primes~D8Q3SG.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~DFJAGM.dockerbuild
|
36.5 KB |
|
|
PlummersSoftwareLLC~Primes~E6CM3H.dockerbuild
|
23.6 KB |
|
|
PlummersSoftwareLLC~Primes~EJA7VR.dockerbuild
|
21 KB |
|
|
PlummersSoftwareLLC~Primes~EMFXH8.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~EOKXSD.dockerbuild
|
31.1 KB |
|
|
PlummersSoftwareLLC~Primes~EY5JNT.dockerbuild
|
27.5 KB |
|
|
PlummersSoftwareLLC~Primes~FGF1CG.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~FSNTSZ.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~GEEGG5.dockerbuild
|
17.7 KB |
|
|
PlummersSoftwareLLC~Primes~GPFM36.dockerbuild
|
21.2 KB |
|
|
PlummersSoftwareLLC~Primes~GR6PO4.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~GYCGXR.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~H5L0HP.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~HATD7N.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~HXEUSF.dockerbuild
|
14.4 KB |
|
|
PlummersSoftwareLLC~Primes~HXIISR.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~HZ1T3F.dockerbuild
|
17.3 KB |
|
|
PlummersSoftwareLLC~Primes~I4G797.dockerbuild
|
17.3 KB |
|
|
PlummersSoftwareLLC~Primes~IDRJ3L.dockerbuild
|
30.2 KB |
|
|
PlummersSoftwareLLC~Primes~IG2WTW.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~IGMWIK.dockerbuild
|
19.5 KB |
|
|
PlummersSoftwareLLC~Primes~IKJEYG.dockerbuild
|
119 KB |
|
|
PlummersSoftwareLLC~Primes~IKKY6D.dockerbuild
|
22 KB |
|
|
PlummersSoftwareLLC~Primes~INN9YS.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~IOD3L7.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~IR0D9B.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~IXHP3C.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~J2YPW9.dockerbuild
|
37.6 KB |
|
|
PlummersSoftwareLLC~Primes~J3OKHH.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~J4B6X0.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~J5S11F.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~K09YI3.dockerbuild
|
21 KB |
|
|
PlummersSoftwareLLC~Primes~K94ARN.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~KEFBWK.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~KG1RXK.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~KJWI93.dockerbuild
|
29.7 KB |
|
|
PlummersSoftwareLLC~Primes~KQKDBO.dockerbuild
|
25.1 KB |
|
|
PlummersSoftwareLLC~Primes~KZHBMX.dockerbuild
|
21.1 KB |
|
|
PlummersSoftwareLLC~Primes~L3EFPY.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~L3IREJ.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~L82JDO.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~L8ZRQ9.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~LXV3TA.dockerbuild
|
23.8 KB |
|
|
PlummersSoftwareLLC~Primes~M1NYYG.dockerbuild
|
18.4 KB |
|
|
PlummersSoftwareLLC~Primes~M8MJRR.dockerbuild
|
14.7 KB |
|
|
PlummersSoftwareLLC~Primes~MA6NVI.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~MEXI7T.dockerbuild
|
32.6 KB |
|
|
PlummersSoftwareLLC~Primes~N4A9ZC.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~NJF8U4.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~NM2GY6.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~NO1YYI.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~NYRNC3.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~NZ7VOI.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~O4YVK1.dockerbuild
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~O7A2N5.dockerbuild
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~O7C864.dockerbuild
|
36.9 KB |
|
|
PlummersSoftwareLLC~Primes~OB888Q.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~OHJZY1.dockerbuild
|
24.2 KB |
|
|
PlummersSoftwareLLC~Primes~OOOPB4.dockerbuild
|
17.1 KB |
|
|
PlummersSoftwareLLC~Primes~OOQJPZ.dockerbuild
|
21.6 KB |
|
|
PlummersSoftwareLLC~Primes~ORDOXY.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~OVKIB3.dockerbuild
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~OVLVSV.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~OZ9HDU.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~P3P3FO.dockerbuild
|
35.3 KB |
|
|
PlummersSoftwareLLC~Primes~P8B6RK.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~PBPKL1.dockerbuild
|
17.5 KB |
|
|
PlummersSoftwareLLC~Primes~PH2XZ4.dockerbuild
|
14.4 KB |
|
|
PlummersSoftwareLLC~Primes~PK3VU2.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~PLBBGC.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~PUHDSZ.dockerbuild
|
14.6 KB |
|
|
PlummersSoftwareLLC~Primes~Q1LXSD.dockerbuild
|
18.3 KB |
|
|
PlummersSoftwareLLC~Primes~Q3368L.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~QEGJLI.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~QFWKCY.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~QOS99F.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~QU4IKI.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~R2BYHC.dockerbuild
|
12.8 KB |
|
|
PlummersSoftwareLLC~Primes~R56N9H.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~RCMA1Q.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~RG9CZL.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~RMXPMK.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~RNLDUQ.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~RPCESL.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~RV0B54.dockerbuild
|
29.3 KB |
|
|
PlummersSoftwareLLC~Primes~RWKEEZ.dockerbuild
|
32 KB |
|
|
PlummersSoftwareLLC~Primes~RY1U0V.dockerbuild
|
23.2 KB |
|
|
PlummersSoftwareLLC~Primes~S591EN.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~S7147W.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~SC2P0W.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~SE6MAS.dockerbuild
|
21.8 KB |
|
|
PlummersSoftwareLLC~Primes~SOIL8I.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~SP9CO3.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~SSKGL4.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~T0WFDU.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~TBH35H.dockerbuild
|
25.4 KB |
|
|
PlummersSoftwareLLC~Primes~TFGVAQ.dockerbuild
|
24.4 KB |
|
|
PlummersSoftwareLLC~Primes~TL46IP.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~TU46V3.dockerbuild
|
36.8 KB |
|
|
PlummersSoftwareLLC~Primes~TXO8L7.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~U250U0.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~US7IIZ.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~UUFGRA.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~UXCIMS.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~UXOFG7.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~V29B9D.dockerbuild
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~V3RN4R.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~V3V756.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~VAQI4E.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~VBYO2A.dockerbuild
|
14.5 KB |
|
|
PlummersSoftwareLLC~Primes~VN9UQZ.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~VZCODC.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~VZCVLZ.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~W1OCLK.dockerbuild
|
23.2 KB |
|
|
PlummersSoftwareLLC~Primes~W4Z4N8.dockerbuild
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~W5ZNUL.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~WE7WXD.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~WMJ4EL.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~X5ELIA.dockerbuild
|
54.1 KB |
|
|
PlummersSoftwareLLC~Primes~X7608R.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~X92ZSA.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~Y5T2VC.dockerbuild
|
14.6 KB |
|
|
PlummersSoftwareLLC~Primes~Y89R1T.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~YACI9V.dockerbuild
|
21.7 KB |
|
|
PlummersSoftwareLLC~Primes~YCDUK6.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~YNY83N.dockerbuild
|
29.8 KB |
|
|
PlummersSoftwareLLC~Primes~YSQJPO.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~YZ7UH3.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~Z2U0FQ.dockerbuild
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~Z6I5TW.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~ZLDKPR.dockerbuild
|
14 KB |
|