From 7d79813cc40e214e0bf9ade900b6728169d788f5 Mon Sep 17 00:00:00 2001 From: Clement Delafargue Date: Thu, 3 Oct 2019 11:36:49 +0200 Subject: upgrade to dhall 1.26.1 I've inlined the types in a single file as they're rather small --- dhall/Types.dhall | 1 - dhall/package.dhall | 13 +++++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) delete mode 100644 dhall/Types.dhall create mode 100644 dhall/package.dhall diff --git a/dhall/Types.dhall b/dhall/Types.dhall deleted file mode 100644 index 2a6fa6e..0000000 --- a/dhall/Types.dhall +++ /dev/null @@ -1 +0,0 @@ -{ Vault = ./Vault.dhall, Config = ./Config.dhall } diff --git a/dhall/package.dhall b/dhall/package.dhall new file mode 100644 index 0000000..ceab8c0 --- /dev/null +++ b/dhall/package.dhall @@ -0,0 +1,13 @@ +let Vault = { apiToken : Text } + +let Config = + { rundeck_jobs_path : Text + , rundeck_project : Text + , rundeck_api_url : Text + , rundeck_api_token : Text + , rundeck_api_version : Optional Natural + , rundeck_remove_missing : Optional Bool + , rundeck_jobs_group : Optional Text + } + +in { Vault = Vault, Config = Config } -- cgit v1.2.3