AUTO-2018 -- centralise workflows#13

scheunemann wants to merge 1 commit intomasterbotsandus/github-actions:masterfrom

AUTO-2018_centralise_workflowsbotsandus/github-actions:AUTO-2018_centralise_workflowsCopy head branch name to clipboard