Remove `sshKey` from the vault type

It's not actually used by the role, but by code that uses this role.

diff --git a/dhall/Vault.dhall b/dhall/Vault.dhall
index b2a45cc3aa3f3e729d9b24738c41884acd718e59..068e499c95b893d794117b5555399c642826cc39 100644 (file)
--- a/dhall/Vault.dhall
+++ b/dhall/Vault.dhall
@@ -1 +1 @@
-{ token : Text, secret : Text, sshKey : Text }
+{ token : Text, secret : Text }