Trigger Github Workflow

Normally running a github workflow happens either automatically as a result of a commit or PR merge or as a manual invokation if dispatch is configured for that workflow. Here I needed to kick off a...