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 From 8ef81d3edeef62c03209b896d578ccb57980d745 Mon Sep 17 00:00:00 2001 From: Clement Delafargue Date: Fri, 4 Oct 2019 18:32:34 +0200 Subject: Remove unneeded files --- dhall/Config.dhall | 15 --------------- dhall/Vault.dhall | 1 - 2 files changed, 16 deletions(-) delete mode 100644 dhall/Config.dhall delete mode 100644 dhall/Vault.dhall diff --git a/dhall/Config.dhall b/dhall/Config.dhall deleted file mode 100644 index 1c6202c..0000000 --- a/dhall/Config.dhall +++ /dev/null @@ -1,15 +0,0 @@ -{ 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 -} diff --git a/dhall/Vault.dhall b/dhall/Vault.dhall deleted file mode 100644 index 089da4e..0000000 --- a/dhall/Vault.dhall +++ /dev/null @@ -1 +0,0 @@ -{ apiToken : Text } -- cgit v1.2.3