Merge pull request #635 from EnviousSwan/cancel-token-refresh-at-the-end

Cancel GitHub token refresh at the end

src/action/main.ts

@@ -78,6 +78,7 @@ async function run(): Promise<void> {
       ], inputs.steward.extraJars)
     } finally {
       await workspace.saveWorkspaceCache()
+      await workspace.cancelTokenRefresh()
     }
 
     if (files.existsSync(workspace.runSummary_md)) {

src/modules/workspace.ts

@@ -24,6 +24,8 @@ export class Workspace {
   readonly askpass_sh: NonEmptyString
   readonly runSummary_md: string
 
+  private intervalId: NodeJS.Timeout | undefined
+
   constructor(
     private readonly logger: Logger,
     private readonly files: Files,
@@ -123,7 +125,7 @@ export class Workspace {
       }
 
       await this.writeAskPass(token)
-      setInterval(async () => {
+      this.intervalId = setInterval(async () => {
         await this.writeAskPass(token)
         this.logger.info('✓ GitHub Token refreshed')
       }, 1000 * 60 * 50)
@@ -154,6 +156,15 @@ export class Workspace {
     this.files.writeFileSync(this.askpass_sh.value, `#!/bin/sh\n\necho '${token}'`)
   }
 
+  /**
+   * Cancels the token refresh if it is currently scheduled.
+   */
+  async cancelTokenRefresh(): Promise<void> {
+    if (this.intervalId) {
+      clearInterval(this.intervalId)
+    }
+  }
+
   /**
    * Gets the first eight characters of the SHA-256 hash value for the
    * provided file's contents.