CI: Don't require setting exts_default_options for single extensions#22490

Flamefire wants to merge 5 commits intoeasybuilders:developeasybuilders/easybuild-easyconfigs:developfrom

Flamefire:ci-ext-optsFlamefire/easybuild-easyconfigs:ci-ext-optsCopy head branch name to clipboard