was transferred from circleci, but was only triggered on push into dev, i.e. after pull request is merged.