diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-01-12 11:03:37 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-01-13 21:22:52 +0100 |
| commit | 9b14b0c159d64eae18e2732f1662fd27a72f8db1 (patch) | |
| tree | ff5f61b29c3298537fbaaec2a2fcc1a2be34c2e1 /src/Job | |
| parent | 17998a5e8d386b58d30d138ea8dbc565955cccc6 (diff) | |
Handle duplicate tasks by matching tree id
Diffstat (limited to 'src/Job')
| -rw-r--r-- | src/Job/Types.hs | 10 |
1 files changed, 10 insertions, 0 deletions
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) |