Skip to content

Commit

Permalink
Github: Support a timeout on checkout
Browse files Browse the repository at this point in the history
Sometimes github or the CI runner times out trying to checkout the
source and stays timing out forever.

Give it a three minute timeout otherwise the CI runner will stall
forever.
  • Loading branch information
Sonicadvance1 committed May 13, 2024
1 parent f27f187 commit a8714db
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/pr-code-format.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ jobs:

- name: Checkout through merge base
uses: rmacklin/fetch-through-merge-base@v0
timeout-minutes: 3
with:
base_ref: ${{ github.event.pull_request.base.ref }}
head_ref: ${{ github.event.pull_request.head.sha }}
Expand Down

0 comments on commit a8714db

Please sign in to comment.