@@ -25,11 +25,11 @@ interface PinnedWorkflow {
2525}
2626
2727const pinnedWorkflows : PinnedWorkflow [ ] = [ ] ;
28- let refreshTimer : /* NodeJS.Timeout*/ any | undefined ;
28+ let refreshTimer : NodeJS . Timeout | undefined ;
2929
30- export async function initPinnedWorkflows ( context : vscode . ExtensionContext ) {
30+ export async function initPinnedWorkflows ( ) {
3131 // Register handler for configuration changes
32- onPinnedWorkflowsChange ( _init ) ;
32+ onPinnedWorkflowsChange ( ( ) => _init ) ;
3333
3434 await _init ( ) ;
3535}
@@ -42,7 +42,7 @@ async function _init() {
4242 refreshTimer = undefined ;
4343 }
4444 if ( isPinnedWorkflowsRefreshEnabled ( ) ) {
45- refreshTimer = setInterval ( refreshPinnedWorkflows , pinnedWorkflowsRefreshInterval ( ) * 1000 ) ;
45+ refreshTimer = setInterval ( ( ) => refreshPinnedWorkflows , pinnedWorkflowsRefreshInterval ( ) * 1000 ) ;
4646 }
4747}
4848
@@ -136,7 +136,7 @@ async function updatePinnedWorkflow(pinnedWorkflow: PinnedWorkflow) {
136136 const runs = await gitHubRepoContext . client . actions . listWorkflowRuns ( {
137137 owner : gitHubRepoContext . owner ,
138138 repo : gitHubRepoContext . name ,
139- workflow_id : pinnedWorkflow . workflowId as any , // Workflow can also be a file name
139+ workflow_id : pinnedWorkflow . workflowId , // Workflow can also be a file name
140140 per_page : 1 ,
141141 } ) ;
142142 const { total_count, workflow_runs } = runs . data ;
0 commit comments