[DEVOPS-XXX] Switch to major release tags for GitHub Actions #160
pr-labels.yaml
on: pull_request
Apply labels
4s
Check for "do not merge" label
3s