workflows/pr: block merging PRs when jobs have been cancelled#433060

wolfgangwalther merged 1 commit intoNixOS:masterNixOS/nixpkgs:masterfrom

wolfgangwalther:ci-required-status-checkswolfgangwalther/nixpkgs:ci-required-status-checksCopy head branch name to clipboard