Feature Request: allow dropdown of release/tags as input field

Just as we can select a branch we can run our workflow_dispatch manual triggers, it would also be super useful to be able to select from a repo’s list of published releases (or tags) as I’d expect manual workflow triggers to be a very popular use case for executing deployment tasks of published releases:

image

A proposed syntax could be something like:

on: 
  workflow_dispatch:
    inputs:
      version:
        description: 'Version'     
        required: true
        options: $GITHUB_REPOSITORY_RELEASES          

Which should be compatible to syntax for defining user defined options which IMO is also needed, e.g:

on: 
  workflow_dispatch:
    inputs:
      version:
        description: 'Version'     
        required: true
        options:
            - A
            - B
            - C

User defined lists may already implemented but I couldn’t find it in the GitHub Actions inputs docs.