Auto merge of #817 - cuishuang:master, r=jackh726 #1847

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	6s
Book link check	0s
Test (stable)	3m 25s
Test (nightly)	3m 12s
bors build finished	1s
bors build finished	0s
	6m 44s