aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--dhall/Config.dhall2
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall
index 12371f5..9e46679 100644
--- a/dhall/Config.dhall
+++ b/dhall/Config.dhall
@@ -31,6 +31,7 @@ let Config =
31 , clever_env : Environment 31 , clever_env : Environment
32 , clever_build_flavor : Optional Text 32 , clever_build_flavor : Optional Text
33 , clever_scaling : Optional ScalingParameters 33 , clever_scaling : Optional ScalingParameters
34 , clever_restart_only : Optional Bool
34 } 35 }
35 36
36let mkConfig = 37let mkConfig =
@@ -50,6 +51,7 @@ let mkConfig =
50 , clever_env = {=} 51 , clever_env = {=}
51 , clever_build_flavor = None Text 52 , clever_build_flavor = None Text
52 , clever_scaling = None ScalingParameters 53 , clever_scaling = None ScalingParameters
54 , clever_restart_only = None Bool
53 } 55 }
54 : Config {} 56 : Config {}
55 57