add options to set max attempts and intervals

This commit is contained in:
Clansty 2024-09-02 23:46:54 +08:00
parent 2d7d9f7ff5
commit 4dca78049b
No known key found for this signature in database
GPG key ID: 3A6BE8BAF2EDE134
8 changed files with 85 additions and 3 deletions

View file

@ -4,10 +4,12 @@ import * as gitSourceProvider from './git-source-provider'
import * as inputHelper from './input-helper'
import * as path from 'path'
import * as stateHelper from './state-helper'
import * as retryHelper from './retry-helper'
async function run(): Promise<void> {
try {
const sourceSettings = await inputHelper.getInputs()
retryHelper.config(sourceSettings.maxAttempts, sourceSettings.minRetryInterval, sourceSettings.maxRetryInterval)
try {
// Register problem matcher