Tidy the list of options in main.yml#3181

Merged

derobins merged 1 commit intoHDFGroup:developfrom derobins:workflow_option_reorg

Jun 27, 2023

+63-4

Commits on Jun 26, 2023

Tidy the list of options in main.yml
derobins
committed