diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-07-19 15:06:42 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-07-24 21:17:52 +0200 |
| commit | 73a141316db78b942160b11bdb3c92208f3eddd6 (patch) | |
| tree | 1f35f0b939c8f467a45c6cbd62be771865ab838b /src/Job/Types.hs | |
| parent | 0ddc5807cab7cf3b791b1de4cffe2b1165b2480d (diff) | |
Diffstat (limited to 'src/Job/Types.hs')
| -rw-r--r-- | src/Job/Types.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/Job/Types.hs b/src/Job/Types.hs index 682e056..50f550d 100644 --- a/src/Job/Types.hs +++ b/src/Job/Types.hs @@ -20,6 +20,11 @@ import Repo data Declared data Evaluated +type family ExprD d c a :: Type where + ExprD Declared c a = Expr c a + ExprD Evaluated c a = a + + data Job' d = Job { jobId :: JobId' d , jobName :: JobName @@ -28,6 +33,7 @@ data Job' d = Job , jobArtifacts :: [ ( ArtifactName, Pattern ) ] , jobUses :: [ ArtifactSpec d ] , jobPublish :: [ JobPublish d ] + , jobPush :: [ JobPush d ] } type Job = Job' Evaluated @@ -70,6 +76,11 @@ data JobPublish d = JobPublish , jpPath :: Maybe FilePath } +data JobPush d = JobPush + { jpushSource :: ExprD d JobSetContext Commit + , jpushDestination :: ExprD d JobSetContext Branch + } + data ArtifactName = ArtifactName Text deriving (Eq, Ord, Show) |