Add timeout to requests calls #5963
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: pre-commit | |
on: | |
workflow_call: | |
pull_request_target: | |
jobs: | |
pre-commit: | |
runs-on: ubuntu-latest | |
steps: | |
# in case of PR, check out the PR's head branch | |
- uses: actions/checkout@v3 | |
if: github.event_name == 'pull_request_target' | |
with: | |
ref: ${{ github.event.pull_request.head.sha }} | |
# in case of push, check out the main branch | |
- uses: actions/checkout@v3 | |
if: github.event_name != 'pull_request_target' | |
- uses: actions/setup-python@v4 | |
with: | |
python-version: "3.10" | |
cache: "pip" | |
cache-dependency-path: "**/requirements*.txt" | |
- uses: pre-commit/[email protected] | |
- name: Post PR comment on failure | |
if: failure() && github.event_name == 'pull_request_target' | |
uses: peter-evans/create-or-update-comment@v2 | |
with: | |
issue-number: ${{ github.event.pull_request.number }} | |
body: | | |
:x: **pre-commit** failed. | |
Please run `pre-commit run --all-files` locally and commit the changes. | |
Find more information in the repository's CONTRIBUTING.md |