Investigate providing reusable workflows for GitHub users

[oliverchang]

Per: https://docs.github.com/en/actions/using-workflows/reusing-workflows#creating-a-reusable-workflow

This may make our instructions a lot simpler.