Merge branch 'main' into dependabot/github_actions/actions/labeler-5 #5928

Job	Run time
bookrunner	16m 50s
benchcomp-tests	4m 36s
perf	27m 28s
regression (macos-12)	30m 20s
regression (ubuntu-20.04)	19m 20s
write-json-symtab-regression	11m 32s
regression (ubuntu-22.04)	20m 46s
	2h 10m 52s

Provide feedback