Auto merge of #16501 - lnicola:lete-snippet-docs, r=lnicola #3

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup_cargo	0s
build_metrics	0s
other_metrics	0s
generate_final_metrics	0s
	0s