From f0f8a079a634e9b62bdfcdc58aadbc6465c551b3 Mon Sep 17 00:00:00 2001 From: Paul Bonaud Date: Tue, 23 Jun 2020 11:25:31 +0200 Subject: dhall: add missing configuration for clever_restart_only variable This change was forgotten in #70 --- dhall/Config.dhall | 2 ++ 1 file changed, 2 insertions(+) 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 = , 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 {} -- cgit v1.2.3