From 0581c1f5544a80ecc5ff3cbed2cf8aca65cba319 Mon Sep 17 00:00:00 2001 From: Andrew Shirley Date: Fri, 25 Jun 2021 14:32:18 +0100 Subject: [PATCH] Use a specific type for headers Signed-off-by: Andrew Shirley Signed-off-by: blam --- plugins/jenkins-backend/api-report.md | 2 +- plugins/jenkins-backend/src/service/jenkinsInfoProvider.ts | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/jenkins-backend/api-report.md b/plugins/jenkins-backend/api-report.md index aa89e1c897..9661e5dafc 100644 --- a/plugins/jenkins-backend/api-report.md +++ b/plugins/jenkins-backend/api-report.md @@ -41,7 +41,7 @@ export interface JenkinsInfo { // (undocumented) baseUrl: string; // (undocumented) - headers?: any; + headers?: Record; // (undocumented) jobName: string; } diff --git a/plugins/jenkins-backend/src/service/jenkinsInfoProvider.ts b/plugins/jenkins-backend/src/service/jenkinsInfoProvider.ts index 0a71218739..340de001ea 100644 --- a/plugins/jenkins-backend/src/service/jenkinsInfoProvider.ts +++ b/plugins/jenkins-backend/src/service/jenkinsInfoProvider.ts @@ -36,7 +36,7 @@ export interface JenkinsInfoProvider { export interface JenkinsInfo { baseUrl: string; - headers?: any; + headers?: Record; jobName: string; // TODO: make this an array }