workflows/{pr,push}: init#415006

wolfgangwalther merged 3 commits intoNixOS:masterNixOS/nixpkgs:masterfrom

wolfgangwalther:ci-single-buildwolfgangwalther/nixpkgs:ci-single-buildCopy head branch name to clipboard