chore: redo typo PR by teenager-ETH #34233

Job	Run time
configure	8s
base-images	7s
ci-noir-bb	14m 26s
bb-native-tests	12m 19s
bb-bench	9m 53s
acir-bench	0s
bootstrap	0s
ci-rest	0s
images-e2e	0s
docs	0s
boxes-test	0s
protocol-circuits-gates-report	0s
prover-client-test	0s
bench-e2e	0s
e2e	0s
e2e-prover-full	0s
public-functions-size-report	0s
kind-network-smoke	0s
kind-network-test	0s
merge-check	1s
notify	0s
	36m 54s

Provide feedback