chore: Update Github actions (#38)

* chore: Update Github actions

Signed-off-by: Niccolò Fei <niccolo.fei@enterprisedb.com>
Co-authored-by: Hai He <hai.he@enterprisedb.com>
This commit is contained in:
Niccolò Fei
2022-10-19 07:28:59 +02:00
committed by GitHub
parent bf106d8921
commit 51078cb283
2 changed files with 7 additions and 7 deletions

View File

@@ -17,7 +17,7 @@ jobs:
with:
token: ${{ secrets.REPO_GHA_PAT }}
- name: Run update script
uses: nick-fields/retry@v2.8.1
uses: nick-fields/retry@v2
with:
timeout_minutes: 15
max_attempts: 3