add separate naming scheme for draft PRs
Signed-off-by: ahuston-0 <aliceghuston@gmail.com>
This commit is contained in:
parent
b33d8151f9
commit
cf8ce5f400
@ -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}";
|
||||
|
Loading…
x
Reference in New Issue
Block a user