gha: trigger CI workflow after release to update API docs

[philipnbbc]

Details

The release trigger didn't work because the release used the GITHUB_TOKEN and that will not create a new workflow run - see Triggering a workflow from a workflow

Pivotal Story (if relevant)

Story URL: https://www.pivotaltracker.com/story/show/187836655

Related PRs

Where appropriate. Indicate order to be merged.

Submitter PR Checks

(tick as appropriate)

• PR completes task/fixes bug
• API version has been incremented if necessary
• ADR status has been updated, and ADR implementation has been recorded
• Documentation updated (README, etc.)
• PR added to Pivotal story (if relevant)
• Follow-up stories added to Pivotal

Reviewer PR Checks

(tick as appropriate)

• PR completes task/fixes bug
• Design makes sense, and fits with our current code base
• Code is easy to follow
• PR size is sensible
• Commit history is sensible and tidy

Info on PRs

The checks above are guidelines. They don't all have to be ticked, but they should all have been considered.

[j616]

LGTM. Though I'm not sure the square brackets are needed for a single workflow. See https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#using-a-single-event

[philipnbbc]

LGTM. Though I'm not sure the square brackets are needed for a single workflow. See https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#using-a-single-event

All the examples for workflow_run uses YAML list notation (square brackets or '-' child) for the workflows property and it doesn't mention a single workflow shortcut. I think then it's probably better to follow the examples.