CREATE TABLE "launcher_ssh_keys" (
  "id" UUID NOT NULL DEFAULT gen_random_uuid(),
  "account_email" TEXT NOT NULL,
  "auth_user_id" UUID,
  "public_key" TEXT NOT NULL,
  "public_key_hash" TEXT NOT NULL,
  "key_type" TEXT,
  "label" TEXT,
  "last_provisioned_at" TIMESTAMPTZ(3) NOT NULL DEFAULT CURRENT_TIMESTAMP,
  "created_at" TIMESTAMPTZ(3) NOT NULL DEFAULT CURRENT_TIMESTAMP,
  "updated_at" TIMESTAMPTZ(3) NOT NULL,

  CONSTRAINT "launcher_ssh_keys_pkey" PRIMARY KEY ("id")
);

CREATE UNIQUE INDEX "launcher_ssh_keys_account_email_public_key_hash_key"
  ON "launcher_ssh_keys"("account_email", "public_key_hash");

CREATE INDEX "launcher_ssh_keys_account_email_idx"
  ON "launcher_ssh_keys"("account_email");