Skip to content
CI

Refactor solution2 into 2 and 2a #2499

Sign in to view logs

Refactor solution2 into 2 and 2a

Refactor solution2 into 2 and 2a #2499

Triggered via push November 6, 2024 18:36
@davepldavepl
pushed 76e7e42
sol2
Status Failure
Total duration 5m 0s
Artifacts 165

CI.yml

on: push
collect-solutions
4s
collect-solutions
Matrix: build
Fit to window
Zoom out
Zoom in

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~0PSRD3.dockerbuild
14.6 KB
PlummersSoftwareLLC~Primes~0YCAE2.dockerbuild
15.9 KB
PlummersSoftwareLLC~Primes~2E3P3A.dockerbuild
16 KB
PlummersSoftwareLLC~Primes~2VLPXN.dockerbuild
15.7 KB
PlummersSoftwareLLC~Primes~315530.dockerbuild
16.3 KB
PlummersSoftwareLLC~Primes~380DSM.dockerbuild
16.1 KB
PlummersSoftwareLLC~Primes~39LCRX.dockerbuild
16.7 KB
PlummersSoftwareLLC~Primes~3L9E5Z.dockerbuild
41.4 KB
PlummersSoftwareLLC~Primes~49W2RV.dockerbuild
15.4 KB
PlummersSoftwareLLC~Primes~5028L3.dockerbuild
14.2 KB
PlummersSoftwareLLC~Primes~53AC8T.dockerbuild
16.5 KB
PlummersSoftwareLLC~Primes~6GES02.dockerbuild
20.5 KB
PlummersSoftwareLLC~Primes~76V01D.dockerbuild
14.1 KB
PlummersSoftwareLLC~Primes~7TDY01.dockerbuild
16.6 KB
PlummersSoftwareLLC~Primes~8IOF0H.dockerbuild
16.2 KB
PlummersSoftwareLLC~Primes~8LTN2T.dockerbuild
13.7 KB
PlummersSoftwareLLC~Primes~99LT9B.dockerbuild
14.3 KB
PlummersSoftwareLLC~Primes~9FCGGD.dockerbuild
14.7 KB
PlummersSoftwareLLC~Primes~9JUVL4.dockerbuild
17.9 KB
PlummersSoftwareLLC~Primes~A5F4RB.dockerbuild
13.1 KB
PlummersSoftwareLLC~Primes~ASHY3Q.dockerbuild
18.9 KB
PlummersSoftwareLLC~Primes~AVWZ2P.dockerbuild
15.7 KB
PlummersSoftwareLLC~Primes~BC4WXJ.dockerbuild
19.2 KB
PlummersSoftwareLLC~Primes~BISPCJ.dockerbuild
14.5 KB
PlummersSoftwareLLC~Primes~BMTZU1.dockerbuild
16.1 KB
PlummersSoftwareLLC~Primes~C8J4I6.dockerbuild
15.1 KB
PlummersSoftwareLLC~Primes~CEEMEN.dockerbuild
15.1 KB
PlummersSoftwareLLC~Primes~CXH2PX.dockerbuild
16.6 KB
PlummersSoftwareLLC~Primes~DOXE90.dockerbuild
16.8 KB
PlummersSoftwareLLC~Primes~DUJSQS.dockerbuild
17.7 KB
PlummersSoftwareLLC~Primes~E4CPE3.dockerbuild
14 KB
PlummersSoftwareLLC~Primes~E4HRO7.dockerbuild
15.4 KB
PlummersSoftwareLLC~Primes~EKFIK0.dockerbuild
16.7 KB
PlummersSoftwareLLC~Primes~F5LFNV.dockerbuild
18.8 KB
PlummersSoftwareLLC~Primes~FAZO6J.dockerbuild
18.7 KB
PlummersSoftwareLLC~Primes~FLPRVD.dockerbuild
17.5 KB
PlummersSoftwareLLC~Primes~FSSJJJ.dockerbuild
15.9 KB
PlummersSoftwareLLC~Primes~FSZ9PL.dockerbuild
18.5 KB
PlummersSoftwareLLC~Primes~FYIEHQ.dockerbuild
14 KB
PlummersSoftwareLLC~Primes~FYSXJR.dockerbuild
32.7 KB
PlummersSoftwareLLC~Primes~G5IY1S.dockerbuild
14.2 KB
PlummersSoftwareLLC~Primes~GFC3SN.dockerbuild
14.3 KB
PlummersSoftwareLLC~Primes~GNEUE9.dockerbuild
14.9 KB
PlummersSoftwareLLC~Primes~GQ7XFZ.dockerbuild
14.4 KB
PlummersSoftwareLLC~Primes~GUB24O.dockerbuild
24.1 KB
PlummersSoftwareLLC~Primes~HADXAX.dockerbuild
15.6 KB
PlummersSoftwareLLC~Primes~HTVKDG.dockerbuild
15.8 KB
PlummersSoftwareLLC~Primes~HXYQMC.dockerbuild
15.2 KB
PlummersSoftwareLLC~Primes~I5P6ZM.dockerbuild
16.7 KB
PlummersSoftwareLLC~Primes~I8FS0N.dockerbuild
16.7 KB
PlummersSoftwareLLC~Primes~ID3OJD.dockerbuild
14.8 KB
PlummersSoftwareLLC~Primes~IHHAC9.dockerbuild
16.3 KB
PlummersSoftwareLLC~Primes~IJGAPR.dockerbuild
13.4 KB
PlummersSoftwareLLC~Primes~INA7T9.dockerbuild
40.3 KB
PlummersSoftwareLLC~Primes~IXCU0V.dockerbuild
23.8 KB
PlummersSoftwareLLC~Primes~IY8LFU.dockerbuild
15 KB
PlummersSoftwareLLC~Primes~J01CSI.dockerbuild
16.8 KB
PlummersSoftwareLLC~Primes~JC5H7K.dockerbuild
18 KB
PlummersSoftwareLLC~Primes~JFZYLV.dockerbuild
16 KB
PlummersSoftwareLLC~Primes~JKXKSW.dockerbuild
15.9 KB
PlummersSoftwareLLC~Primes~JMHXVS.dockerbuild
17.1 KB
PlummersSoftwareLLC~Primes~JPK3CI.dockerbuild
33.1 KB
PlummersSoftwareLLC~Primes~K0QD1O.dockerbuild
18 KB
PlummersSoftwareLLC~Primes~K2V67Z.dockerbuild
14.3 KB
PlummersSoftwareLLC~Primes~K7AWU8.dockerbuild
14.9 KB
PlummersSoftwareLLC~Primes~K8RE72.dockerbuild
14.2 KB
PlummersSoftwareLLC~Primes~KD2XJU.dockerbuild
20.5 KB
PlummersSoftwareLLC~Primes~KIQ9GK.dockerbuild
14.2 KB
PlummersSoftwareLLC~Primes~KJIXN1.dockerbuild
17 KB
PlummersSoftwareLLC~Primes~KL4NNF.dockerbuild
16.8 KB
PlummersSoftwareLLC~Primes~KP98JJ.dockerbuild
15.4 KB
PlummersSoftwareLLC~Primes~KUHXBB.dockerbuild
16.2 KB
PlummersSoftwareLLC~Primes~L24R42.dockerbuild
15.5 KB
PlummersSoftwareLLC~Primes~LNOIL9.dockerbuild
16.9 KB
PlummersSoftwareLLC~Primes~M29GOZ.dockerbuild
16.3 KB
PlummersSoftwareLLC~Primes~M4D549.dockerbuild
16.1 KB
PlummersSoftwareLLC~Primes~MB75UD.dockerbuild
14.6 KB
PlummersSoftwareLLC~Primes~MCLXA7.dockerbuild
14.2 KB
PlummersSoftwareLLC~Primes~MOP8E0.dockerbuild
14.9 KB
PlummersSoftwareLLC~Primes~NB80FS.dockerbuild
15.4 KB
PlummersSoftwareLLC~Primes~NEUIGC.dockerbuild
16.5 KB
PlummersSoftwareLLC~Primes~NH7622.dockerbuild
14.2 KB
PlummersSoftwareLLC~Primes~NU4Q4W.dockerbuild
14.2 KB
PlummersSoftwareLLC~Primes~O5X29G.dockerbuild
15.8 KB
PlummersSoftwareLLC~Primes~O7ZIHI.dockerbuild
16 KB
PlummersSoftwareLLC~Primes~OHX2NZ.dockerbuild
19.5 KB
PlummersSoftwareLLC~Primes~ONW2QK.dockerbuild
16.2 KB
PlummersSoftwareLLC~Primes~OQQ5IJ.dockerbuild
14.2 KB
PlummersSoftwareLLC~Primes~OR8G6D.dockerbuild
14.4 KB
PlummersSoftwareLLC~Primes~OSBXHH.dockerbuild
13.9 KB
PlummersSoftwareLLC~Primes~PALH3A.dockerbuild
16.3 KB
PlummersSoftwareLLC~Primes~PCITQJ.dockerbuild
16.7 KB
PlummersSoftwareLLC~Primes~PCLPY9.dockerbuild
15 KB
PlummersSoftwareLLC~Primes~PELAQ7.dockerbuild
15.2 KB
PlummersSoftwareLLC~Primes~PIC2Q8.dockerbuild
13.9 KB
PlummersSoftwareLLC~Primes~PICBP5.dockerbuild
14.3 KB
PlummersSoftwareLLC~Primes~PMRTOW.dockerbuild
18.6 KB
PlummersSoftwareLLC~Primes~PNINZ9.dockerbuild
17.6 KB
PlummersSoftwareLLC~Primes~PURKCD.dockerbuild
14.8 KB
PlummersSoftwareLLC~Primes~Q1GBQQ.dockerbuild
14.9 KB
PlummersSoftwareLLC~Primes~Q1MI8N.dockerbuild
16.7 KB
PlummersSoftwareLLC~Primes~Q3T3KZ.dockerbuild
13.3 KB
PlummersSoftwareLLC~Primes~QE6RIN.dockerbuild
14.5 KB
PlummersSoftwareLLC~Primes~QERUR8.dockerbuild
14.7 KB
PlummersSoftwareLLC~Primes~QHGEPX.dockerbuild
13.7 KB
PlummersSoftwareLLC~Primes~QIL8OX.dockerbuild
14.1 KB
PlummersSoftwareLLC~Primes~QJZED1.dockerbuild
16.9 KB
PlummersSoftwareLLC~Primes~RCQST4.dockerbuild
14.4 KB
PlummersSoftwareLLC~Primes~RDGZ0M.dockerbuild
14 KB
PlummersSoftwareLLC~Primes~RK8NC5.dockerbuild
16.5 KB
PlummersSoftwareLLC~Primes~RP90OL.dockerbuild
16.3 KB
PlummersSoftwareLLC~Primes~RYNY8I.dockerbuild
16.5 KB
PlummersSoftwareLLC~Primes~S3H4Y4.dockerbuild
15.1 KB
PlummersSoftwareLLC~Primes~S5HPW8.dockerbuild
14.9 KB
PlummersSoftwareLLC~Primes~SFH97T.dockerbuild
15.1 KB
PlummersSoftwareLLC~Primes~SPC1TM.dockerbuild
16.2 KB
PlummersSoftwareLLC~Primes~SRN7XR.dockerbuild
15.6 KB
PlummersSoftwareLLC~Primes~ST9D19.dockerbuild
14 KB
PlummersSoftwareLLC~Primes~T30YE7.dockerbuild
14.2 KB
PlummersSoftwareLLC~Primes~T8IOSK.dockerbuild
16.7 KB
PlummersSoftwareLLC~Primes~T91MAZ.dockerbuild
16.5 KB
PlummersSoftwareLLC~Primes~TEWOBE.dockerbuild
16.9 KB
PlummersSoftwareLLC~Primes~TF8P0E.dockerbuild
13.9 KB
PlummersSoftwareLLC~Primes~TKWIU2.dockerbuild
15.5 KB
PlummersSoftwareLLC~Primes~TUKDLH.dockerbuild
16.4 KB
PlummersSoftwareLLC~Primes~TVHJZG.dockerbuild
14.7 KB
PlummersSoftwareLLC~Primes~TWAHW3.dockerbuild
16.5 KB
PlummersSoftwareLLC~Primes~UBOI9Q.dockerbuild
16 KB
PlummersSoftwareLLC~Primes~UBQZFQ.dockerbuild
16.5 KB
PlummersSoftwareLLC~Primes~UW57XH.dockerbuild
15.8 KB
PlummersSoftwareLLC~Primes~V1N5LR.dockerbuild
23.2 KB
PlummersSoftwareLLC~Primes~V3V176.dockerbuild
24.9 KB
PlummersSoftwareLLC~Primes~V4ERAX.dockerbuild
15.5 KB
PlummersSoftwareLLC~Primes~V8IUUI.dockerbuild
15.2 KB
PlummersSoftwareLLC~Primes~VC7QC7.dockerbuild
14.1 KB
PlummersSoftwareLLC~Primes~VLLP14.dockerbuild
17 KB
PlummersSoftwareLLC~Primes~VSJ5M7.dockerbuild
15.7 KB
PlummersSoftwareLLC~Primes~VTR3GF.dockerbuild
14.7 KB
PlummersSoftwareLLC~Primes~WBCJ4P.dockerbuild
22.6 KB
PlummersSoftwareLLC~Primes~WJZ1MV.dockerbuild
18.3 KB
PlummersSoftwareLLC~Primes~WLHTAA.dockerbuild
18.5 KB
PlummersSoftwareLLC~Primes~WRTZSK.dockerbuild
16.2 KB
PlummersSoftwareLLC~Primes~X14SYN.dockerbuild
15.6 KB
PlummersSoftwareLLC~Primes~X5KMCG.dockerbuild
16.3 KB
PlummersSoftwareLLC~Primes~XA257X.dockerbuild
14.3 KB
PlummersSoftwareLLC~Primes~XIF8UY.dockerbuild
17.6 KB
PlummersSoftwareLLC~Primes~XPO7EN.dockerbuild
15.6 KB
PlummersSoftwareLLC~Primes~XRNVTG.dockerbuild
14.1 KB
PlummersSoftwareLLC~Primes~Y6057R.dockerbuild
16.6 KB
PlummersSoftwareLLC~Primes~Y9H6YS.dockerbuild
14.9 KB
PlummersSoftwareLLC~Primes~Y9JT2J.dockerbuild
16.3 KB
PlummersSoftwareLLC~Primes~YJ1IBU.dockerbuild
16.7 KB
PlummersSoftwareLLC~Primes~YJ667L.dockerbuild
14.4 KB
PlummersSoftwareLLC~Primes~YJAGEV.dockerbuild
16.4 KB
PlummersSoftwareLLC~Primes~YTBOGB.dockerbuild
15.9 KB
PlummersSoftwareLLC~Primes~Z8L3S6.dockerbuild
18.4 KB
PlummersSoftwareLLC~Primes~Z8N1F6.dockerbuild
14.1 KB
PlummersSoftwareLLC~Primes~Z8XWOC.dockerbuild
16.7 KB
PlummersSoftwareLLC~Primes~ZASKTO.dockerbuild
16.6 KB
PlummersSoftwareLLC~Primes~ZAY076.dockerbuild
14.6 KB
PlummersSoftwareLLC~Primes~ZDL1KS.dockerbuild
14.3 KB
PlummersSoftwareLLC~Primes~ZHAGBV.dockerbuild
16.5 KB
PlummersSoftwareLLC~Primes~ZJ8VJ1.dockerbuild
16.5 KB
PlummersSoftwareLLC~Primes~ZQ5IIY.dockerbuild
15.9 KB
PlummersSoftwareLLC~Primes~ZSQGC7.dockerbuild
16.9 KB