chore: add ci job names (#7478)
* chore: add ci job names This makes them easier to find in the Github UI. * chore: increase ci timeout
This commit is contained in:
parent
f8353d3468
commit
e20bfa55d6
2 changed files with 4 additions and 2 deletions
|
|
@ -10,8 +10,9 @@ on:
|
|||
|
||||
jobs:
|
||||
lint-api:
|
||||
name: Lint API
|
||||
runs-on: ubuntu-latest
|
||||
timeout-minutes: 15
|
||||
timeout-minutes: 25
|
||||
if: |
|
||||
github.event.pull_request.draft == false &&
|
||||
github.event.pull_request.requested_reviewers != null
|
||||
|
|
|
|||
|
|
@ -14,8 +14,9 @@ on:
|
|||
|
||||
jobs:
|
||||
build-and-lint:
|
||||
name: Build and lint web apps
|
||||
runs-on: ubuntu-latest
|
||||
timeout-minutes: 15
|
||||
timeout-minutes: 25
|
||||
if: |
|
||||
github.event.pull_request.draft == false &&
|
||||
github.event.pull_request.requested_reviewers != null
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue