diff options
| author | Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com> | 2018-11-19 18:57:33 +0100 |
|---|---|---|
| committer | Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com> | 2018-11-20 11:44:59 +0100 |
| commit | 8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f (patch) | |
| tree | 7357da6fdb0bb037a592bd454f13cdc078ebe16d /dhall/mkConfig.dhall | |
| parent | 50a9e710f9cff8be9d85d7161bb454a46c3f5734 (diff) | |
| download | ansible-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.dhall | 3 |
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 = | |||
| 13 | in λ(vault : Vault) | 13 | in λ(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 = |