Add more instruction in case we need to remove a pr from the queue #687

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	32s
all-tests	6m 46s
tests-noqueue	4m 15s
tests	1m 18s
	12m 51s