fix and simplify sorting of resource requests, fixes #5122
Passed
Marcus Eibrink-Lunzenauer
created pipeline for commit
8da661da
, finished
For main
3 minutes 19 seconds, queued for 3 seconds