Query input from URL (#1508) #5618

Job	Run time
Basic Checks	11m 50s
Measure coverage	10m 37s
Additional Builds and Concurrency Tests	15m 28s
miri	3m 4s
Release builds and tests	11m 57s
sanitize (address)	17m 53s
sanitize (address, multi-threading)	20m 10s
sanitize (leak)	7m 58s
Slow tests	20m 18s
sanitize (leak, multi-threading)	8m 34s
	2h 7m 49s

Provide feedback