Deploy PR

docs: add git workflow guidelines to prevent force pushing #42933

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_pr	19s
get_info	32s
build	0s
comment-pr	0s
deploy	-1s
	50s