Lint

bump pt core pin to 0723 #45882

Job	Run time
android-java-format / linux-job	4m 59s
lintrunner / linux-job	13m 1s
link-check / lint-xrefs / linux-job	4m 59s
link-check / lint-urls / linux-job	5m 0s
	27m 59s

Provide feedback