aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
diff options
context:
space:
mode:
authorClément Delafargue <39330590+clementd-fretlink@users.noreply.github.com>2019-10-07 09:57:29 +0200
committerGitHub <noreply@github.com>2019-10-07 09:57:29 +0200
commita8c403b74ad2d22c653183433c6ea3042868010f (patch)
treed4559641678457d0c4f68b4b8de24ac62f29faa5 /dhall
parenta7dd06f0cc90aaa8c81f5243e74e83f22c3119f4 (diff)
parent8ef81d3edeef62c03209b896d578ccb57980d745 (diff)
downloadansible-rundeck-jobs-a8c403b74ad2d22c653183433c6ea3042868010f.tar.gz
ansible-rundeck-jobs-a8c403b74ad2d22c653183433c6ea3042868010f.tar.zst
ansible-rundeck-jobs-a8c403b74ad2d22c653183433c6ea3042868010f.zip
Merge pull request #7 from clementd-fretlink/polykindsv0.6
upgrade to dhall 1.26.1
Diffstat (limited to 'dhall')
-rw-r--r--dhall/Config.dhall15
-rw-r--r--dhall/Types.dhall1
-rw-r--r--dhall/Vault.dhall1
-rw-r--r--dhall/package.dhall13
4 files changed, 13 insertions, 17 deletions
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 @@
1{ rundeck_jobs_path :
2 Text
3, rundeck_project :
4 Text
5, rundeck_api_url :
6 Text
7, rundeck_api_token :
8 Text
9, rundeck_api_version :
10 Optional Natural
11, rundeck_remove_missing :
12 Optional Bool
13, rundeck_jobs_group :
14 Optional Text
15}
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 @@
1{ Vault = ./Vault.dhall, Config = ./Config.dhall }
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 @@
1{ apiToken : Text }
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 @@
1let Vault = { apiToken : Text }
2
3let Config =
4 { rundeck_jobs_path : Text
5 , rundeck_project : Text
6 , rundeck_api_url : Text
7 , rundeck_api_token : Text
8 , rundeck_api_version : Optional Natural
9 , rundeck_remove_missing : Optional Bool
10 , rundeck_jobs_group : Optional Text
11 }
12
13in { Vault = Vault, Config = Config }