Merge pull request #71 from paulrbr-fl/clever-restart

dhall: add missing configuration for clever_restart_only variable
fretlink · Jun 23, 2020 · fa354e6 · fa354e6
2 parents ca1a71c + f0f8a07
commit fa354e6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dhall/Config.dhall b/dhall/Config.dhall
@@ -31,6 +31,7 @@ let Config =
         , clever_env : Environment
         , clever_build_flavor : Optional Text
         , clever_scaling : Optional ScalingParameters
+        , clever_restart_only : Optional Bool
         }
 
 let mkConfig =
@@ -50,6 +51,7 @@ let mkConfig =
           , clever_env = {=}
           , clever_build_flavor = None Text
           , clever_scaling = None ScalingParameters
+          , clever_restart_only = None Bool
           }
         : Config {}