Add retry field to Job and Defaults

bgamari · Jan 17, 2023 · 2ed04ff · 2ed04ff
1 parent a0ee5d0
commit 2ed04ff
Show file tree

Hide file tree

Showing 7 changed files with 8 additions and 0 deletions.
diff --git a/GitLab/Defaults/Type.dhall b/GitLab/Defaults/Type.dhall
@@ -9,4 +9,5 @@ in  { image : Optional Text
     , after_script : List Text
     , services : List Service
     , cache : Optional CacheSpec
+    , retry : Optional Natural
     }
diff --git a/GitLab/Defaults/default.dhall b/GitLab/Defaults/default.dhall
@@ -9,5 +9,6 @@ in    { image = None Text
       , after_script = [] : List Text
       , services = [] : List Service
       , cache = None CacheSpec
+      , retry = None Natural
       }
     : Defaults
diff --git a/GitLab/Defaults/toJSON.dhall b/GitLab/Defaults/toJSON.dhall
@@ -49,6 +49,8 @@ let Defaults/toJSON
                       JSON.Type
                       CacheSpec.toJSON
                       defaults.cache
+                , retry =
+                    Optional/map Natural JSON.Type JSON.natural defaults.retry
                 }
 
         in  JSON.object (dropNones Text JSON.Type everything)

diff --git a/GitLab/Job/Type.dhall b/GitLab/Job/Type.dhall
@@ -38,6 +38,7 @@ in  { stage : Optional Text
     , cache : Optional (List CacheSpec)
     , artifacts : Optional ArtifactsSpec
     , resource_group : Optional Text
+    , retry : Optional Natural
     , environment : Optional Environment
     , trigger : Optional Trigger
     , timeout : Optional Text

diff --git a/GitLab/Job/append.dhall b/GitLab/Job/append.dhall
@@ -57,6 +57,7 @@ let append
               b.artifacts
         , resource_group =
             mergeOptionalRight Text a.resource_group b.resource_group
+        , retry = mergeOptionalRight Natural a.retry b.retry
         , environment =
             mergeOptional
               Environment.Type

diff --git a/GitLab/Job/default.dhall b/GitLab/Job/default.dhall
@@ -38,6 +38,7 @@ in    { stage = None Text
       , cache = None (List CacheSpec)
       , artifacts = None ArtifactsSpec
       , resource_group = None Text
+      , retry = None Natural
       , environment = None Environment
       , trigger = None Trigger
       , timeout = None Text

diff --git a/GitLab/Job/toJSON.dhall b/GitLab/Job/toJSON.dhall
@@ -158,6 +158,7 @@ in  let Job/toJSON
                           JSON.Type
                           JSON.string
                           job.resource_group
+                    , retry = Optional/map Text JSON.Type JSON.natural job.retry
                     , environment =
                         Optional/map
                           Environment.Type