diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-04-20 22:58:16 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-04-22 20:54:25 +0200 |
| commit | 2ee87680556ccf26ef8d415950e7f31034d647c4 (patch) | |
| tree | 376adaa01623892213463507c25d17e042055c2b /src/Job | |
| parent | ce477ae0b39b97a82a86776e076492120e3180eb (diff) | |
Verbose option for ‘jobid’ command
Diffstat (limited to 'src/Job')
| -rw-r--r-- | src/Job/Types.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Job/Types.hs b/src/Job/Types.hs index b5d05fb..7e7a4b8 100644 --- a/src/Job/Types.hs +++ b/src/Job/Types.hs @@ -72,7 +72,7 @@ newtype JobId = JobId [ JobIdPart ] data JobIdPart = JobIdName JobName | JobIdCommit (Maybe RepoName) CommitId - | JobIdTree (Maybe RepoName) TreeId + | JobIdTree (Maybe RepoName) FilePath TreeId deriving (Eq, Ord) newtype JobRef = JobRef [ Text ] @@ -82,7 +82,7 @@ textJobIdPart :: JobIdPart -> Text textJobIdPart = \case JobIdName name -> textJobName name JobIdCommit _ cid -> textCommitId cid - JobIdTree _ tid -> textTreeId tid + JobIdTree _ _ tid -> textTreeId tid textJobId :: JobId -> Text textJobId (JobId ids) = T.intercalate "." $ map textJobIdPart ids |