diff options
-rw-r--r-- | dhall/Config.dhall | 2 |
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 | ||
36 | let mkConfig = | 37 | let 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 | ||