Merge branch 'main' into dependabot/cargo/cargo-515e28c4c0 #5887

Job	Run time
benchcomp-tests	4m 26s
bookrunner	15m 47s
perf	28m 3s
regression (macos-12)	23m 4s
write-json-symtab-regression	10m 55s
regression (ubuntu-20.04)	19m 44s
regression (ubuntu-22.04)	20m 20s
	2h 2m 19s

Provide feedback