GitHub CI: Add set_pr_labels (#1467)

* GitHub CI: Add set_pr_labels

* Change to run every 10 min

* Update names
This commit is contained in:
Alexander Zhogov 2020-07-24 13:00:04 +03:00 committed by GitHub
parent f865945448
commit 765202e23c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

36
.github/workflows/set_pr_labels.yml vendored Normal file
View File

@ -0,0 +1,36 @@
name: Pull Requests
on:
schedule:
- cron: '*/10 * * * *'
jobs:
Set-Labels:
runs-on: ubuntu-18.04
steps:
- uses: actions/checkout@v2
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v1
with:
python-version: 3.6
- name: Cache pip
uses: actions/cache@v1
with:
path: ~/.cache/pip
key: ${{ runner.os }}-pip-${{ hashFiles('.github/org_control/requirements*.txt') }}
restore-keys: |
${{ runner.os }}-pip-
${{ runner.os }}-
- name: Install dependencies
run: |
pip install -r requirements.txt
working-directory: .github/org_control
- name: Check PRs
run: |
python3 check_pr.py
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
working-directory: .github/org_control