Merge pull request #2020 from RalfJung/html5ever #3903

Job	Run time
Compare page endpoint test	3m 39s
Database Check	1m 4s
Test and deploy	3m 12s
Test codegen backend benchmarks	1m 12s
Test benchmarks (--include cargo-0.60.0,stm32f4-0.14.0,webrender-2022, Check,Debug,Doc)	5m 48s
Test on Windows	3m 52s
Test runtime benchmarks	4m 48s
Test profiling	3m 29s
Test benchmarks (--include cargo-0.60.0,stm32f4-0.14.0,webrender-2022, Opt)	5m 35s
Test benchmarks (--exclude cargo-0.60.0,stm32f4-0.14.0,webrender-2022, Check,Debug,Doc)	8m 34s
Test benchmarks (--exclude cargo-0.60.0,stm32f4-0.14.0,webrender-2022, Opt)	8m 20s
	49m 33s

Provide feedback