ci: don't timeout if the runner is slow to pick up the job #1890
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: "PR review" | |
on: | |
pull_request_target: | |
types: [opened, reopened, synchronize, edited, edited] | |
jobs: | |
labeler: | |
name: review | |
permissions: | |
contents: read | |
pull-requests: write | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
# Label PRs | |
- uses: actions/[email protected] | |
with: | |
dot: true | |
configuration-path: .github/labeler.yaml | |
# Check PR target branch | |
- name: check branch | |
uses: Vankka/pr-target-branch-action@def32ec9d93514138d6ac0132ee62e120a72aed5 | |
if: github.repository == 'commaai/opendbc' | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
with: | |
target: /^(?!master$).*/ | |
exclude: /commaai:.*/ | |
change-to: ${{ github.base_ref }} | |
already-exists-action: close_this | |
already-exists-comment: "Your PR should be made against the `master` branch" | |
# Welcome comment | |
- name: "First timers PR" | |
uses: actions/first-interaction@v1 | |
if: github.event.pull_request.head.repo.full_name != 'commaai/opendbc' | |
with: | |
repo-token: ${{ secrets.GITHUB_TOKEN }} | |
pr-message: | | |
<!-- _(run_id **${{ github.run_id }}**)_ --> | |
Thanks for contributing to opendbc! In order for us to review your PR as quickly as possible, check the following: | |
* Convert your PR to a draft unless it's ready to review | |
* Read the [contributing docs](https://github.com/commaai/openpilot/blob/master/docs/CONTRIBUTING.md) | |
* Before marking as "ready for review", ensure: | |
* the goal is clearly stated in the description | |
* all the tests are passing | |
* include a route or your device' dongle ID if relevant |