From 9b14b0c159d64eae18e2732f1662fd27a72f8db1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sun, 12 Jan 2025 11:03:37 +0100 Subject: Handle duplicate tasks by matching tree id --- src/Job/Types.hs | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'src/Job') diff --git a/src/Job/Types.hs b/src/Job/Types.hs index 6918738..50a6b43 100644 --- a/src/Job/Types.hs +++ b/src/Job/Types.hs @@ -36,3 +36,13 @@ data JobSet = JobSet jobsetJobs :: JobSet -> [ Job ] jobsetJobs = either (const []) id . jobsetJobsEither + + +newtype JobId = JobId [ JobIdPart ] + deriving (Eq, Ord) + +data JobIdPart + = JobIdName JobName + | JobIdCommit CommitId + | JobIdTree TreeId + deriving (Eq, Ord) -- cgit v1.2.3