Add run button to repository for Github Actions

[michaelmell]

• I want to add a build button to Github pipeline page to run the pipeline from Github UI.
• This requires code to be pushed to main.

[ehrenfeu]

The required workflow_dispatch trigger has been added in ee8b225, needs merging (or cherry-picking) into main though.