]> git.immae.eu Git - github/fretlink/ansible-rundeck-jobs.git/commitdiff
upgrade to dhall 1.26.1 polykinds
authorClement Delafargue <clement.delafargue@fretlink.com>
Thu, 3 Oct 2019 09:36:49 +0000 (11:36 +0200)
committerClement Delafargue <clement.delafargue@fretlink.com>
Thu, 3 Oct 2019 09:36:49 +0000 (11:36 +0200)
I've inlined the types in a single file as they're rather small

dhall/Types.dhall [deleted file]
dhall/package.dhall [new file with mode: 0644]

diff --git a/dhall/Types.dhall b/dhall/Types.dhall
deleted file mode 100644 (file)
index 2a6fa6e..0000000
+++ /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 (file)
index 0000000..ceab8c0
--- /dev/null
@@ -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 }