Understanding GitHub Workflow Behaviour