From cf8ce5f400d1eb972ad88a2968d1297669d7b5dd Mon Sep 17 00:00:00 2001 From: ahuston-0 Date: Tue, 6 Aug 2024 09:09:51 -0400 Subject: [PATCH] add separate naming scheme for draft PRs Signed-off-by: ahuston-0 --- hydra/jobsets.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hydra/jobsets.nix b/hydra/jobsets.nix index bc81853..96eaa9e 100644 --- a/hydra/jobsets.nix +++ b/hydra/jobsets.nix @@ -61,7 +61,7 @@ let # Create a hydra job for a PR jobOfPR = id: info: { - name = "pr-${id}"; + name = if info.draft then "draft-${id}" else "pr-${id}"; value = makeJob { description = "PR ${id}: ${info.title}"; flake = "git+ssh://git@github.com/${info.head.repo.full_name}?ref=${info.head.ref}";