Lint fix for 8.13.0 #9046

Job	Run time
Ready-to-merge gate / Missing "ready-to-merge" label	5s
detect-changes	-1s
Build ios ${{ matrix.build-type }} ${{ matrix.ios-use-frameworks }}	1s
Build web	1s
diff_check	-1s
Build android ${{ matrix.build-type }}	1s
	6s

Provide feedback