Merge branch 'facebook:main' into main #2

Job	Run time
Get the latest prelude hash	3s
build (ubuntu-22.04, aarch64-unknown-linux-gnu, true)	13m 41s
build (ubuntu-22.04, aarch64-unknown-linux-musl, true)	14m 37s
build (ubuntu-22.04, x86_64-unknown-linux-gnu)	12m 46s
build (ubuntu-22.04, x86_64-unknown-linux-musl, true)	13m 35s
build (macos-12, aarch64-apple-darwin, true)	12m 12s
build (macos-12, x86_64-apple-darwin)	19m 29s
build (windows-2022, x86_64-pc-windows-msvc, true)	22m 44s
Publish buck2.build	2m 3s
Release `latest` tag	22s
Check if there's a release for this half of the month already	1s
Release bi-monthly tag	1m 7s
	1h 52m 40s

Provide feedback