chore: increase timeout for linter to 15 minutes
This commit is contained in:
parent
687e818a73
commit
63203452fc
|
|
@ -11,7 +11,7 @@ jobs:
|
|||
contents: write # for Git to git push
|
||||
name: Auto format
|
||||
runs-on: ubuntu-slim
|
||||
timeout-minutes: 5
|
||||
timeout-minutes: 15
|
||||
|
||||
steps:
|
||||
- uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
|
||||
|
|
|
|||
|
|
@ -16,7 +16,7 @@ jobs:
|
|||
name: Lint
|
||||
if: ${{ github.event_name == 'push' || github.event_name == 'pull_request' }}
|
||||
runs-on: ubuntu-slim
|
||||
timeout-minutes: 5
|
||||
timeout-minutes: 15
|
||||
permissions:
|
||||
security-events: write
|
||||
steps:
|
||||
|
|
|
|||
Loading…
Reference in New Issue