aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/mkConfig.dhall
diff options
context:
space:
mode:
authorHussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>2018-11-19 18:57:33 +0100
committerHussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>2018-11-20 11:44:59 +0100
commit8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f (patch)
tree7357da6fdb0bb037a592bd454f13cdc078ebe16d /dhall/mkConfig.dhall
parent50a9e710f9cff8be9d85d7161bb454a46c3f5734 (diff)
downloadansible-clever-8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f.tar.gz
ansible-clever-8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f.tar.zst
ansible-clever-8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f.zip
add travis ci step for typechecking dhall
Diffstat (limited to 'dhall/mkConfig.dhall')
-rw-r--r--dhall/mkConfig.dhall3
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index a904332..5040f1c 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -13,6 +13,7 @@ in let nonifyEmpty =
13in λ(vault : Vault) 13in λ(vault : Vault)
14 → λ(app : Text) 14 → λ(app : Text)
15 → λ(entryPoint : Text) 15 → λ(entryPoint : Text)
16 → λ(metrics : Bool)
16 → λ(syslogServer : Optional Text) 17 → λ(syslogServer : Optional Text)
17 → λ(domain : Optional Text) 18 → λ(domain : Optional Text)
18 → λ(tasksFile : Optional Text) 19 → λ(tasksFile : Optional Text)
@@ -34,7 +35,7 @@ in λ(vault : Vault)
34 , clever_entry_point = 35 , clever_entry_point =
35 entryPoint 36 entryPoint
36 , clever_metrics = 37 , clever_metrics =
37 True 38 metrics
38 , clever_addons = 39 , clever_addons =
39 addons 40 addons
40 , clever_env = 41 , clever_env =