aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
diff options
context:
space:
mode:
authorClément Delafargue <39330590+clementd-fretlink@users.noreply.github.com>2019-07-02 10:52:30 +0200
committerGitHub <noreply@github.com>2019-07-02 10:52:30 +0200
commit5e0fa991c9e80634ed1fab3bcc2cd0ed977310dd (patch)
tree25cbae9f60b25cee963077773a52d8cd8fc621ee /dhall
parent587357dd2edae36fc8a1632c61a62801af31f49f (diff)
parente6872941578e0988b4d1f2eca6fbf59e655a0957 (diff)
downloadansible-clever-5e0fa991c9e80634ed1fab3bcc2cd0ed977310dd.tar.gz
ansible-clever-5e0fa991c9e80634ed1fab3bcc2cd0ed977310dd.tar.zst
ansible-clever-5e0fa991c9e80634ed1fab3bcc2cd0ed977310dd.zip
Merge pull request #46 from clementd-fretlink/cleanupv1.23
update metrics and entrypoint default definitions
Diffstat (limited to 'dhall')
-rw-r--r--dhall/Config.dhall2
-rw-r--r--dhall/mkConfig.dhall4
2 files changed, 3 insertions, 3 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall
index c095403..5b7eab2 100644
--- a/dhall/Config.dhall
+++ b/dhall/Config.dhall
@@ -17,7 +17,7 @@ in λ(Environment : Type)
17 Optional Text 17 Optional Text
18 , clever_haskell_entry_point : 18 , clever_haskell_entry_point :
19 Optional Text 19 Optional Text
20 , clever_metrics : 20 , clever_disable_metrics :
21 Bool 21 Bool
22 , clever_addons : 22 , clever_addons :
23 List Addon 23 List Addon
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index 413ea5a..d2ec034 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -23,8 +23,8 @@ in λ(vault : Vault)
23 None Text 23 None Text
24 , clever_haskell_entry_point = 24 , clever_haskell_entry_point =
25 None Text 25 None Text
26 , clever_metrics = 26 , clever_disable_metrics =
27 True 27 False
28 , clever_addons = 28 , clever_addons =
29 [] : List Addon 29 [] : List Addon
30 , clever_env = 30 , clever_env =