fix: Fix Doc lint. (#3158) #1874

Job	Run time
Test changed-files	6s
Setup	5s
Build and push images	0s
Build and push images	0s
Build and push images	0s
Build and push images / Build and Push Docker Images (witness-generator)	7m 17s
Build and push images / Build and Push Docker Images (prover-gpu-fri)	14m 31s
Build and push images / Build and Push Docker Images (witness-vector-generator)	7m 37s
Build and push prover images with avx512 instructions / Build and Push Docker Images (witness-generator)	7m 1s
Build and push images / Build and Push Docker Images (circuit-prover-gpu)	9m 5s
Build and push images / Build and Push Docker Images (prover-fri-gateway)	5m 24s
Build and push images / Build and Push Docker Images (prover-job-monitor)	5m 24s
Build and push images / Build and Push Docker Images (proof-fri-gpu-compressor)	19m 55s
Build and push images / Build and Push Docker Images (prover-autoscaler)	5m 29s
Build and push images / Copy images between docker registries (witness-vector-generator)	40s
Build GAR prover FRI GPU / Build prover FRI GPU GAR	20m 57s
	1h 43m 31s

Provide feedback