ci: Skip extensive tests if `to_test` is empty#931

tgross35 wants to merge 1 commit intorust-lang:masterrust-lang/compiler-builtins:masterfrom

tgross35:ci-skip-extensivetgross35/compiler-builtins:ci-skip-extensiveCopy head branch name to clipboard