name: Ping Reviewers | |
on: | |
schedule: | |
- cron: "0/15 * * * *" | |
workflow_dispatch: | |
concurrency: | |
group: ping | |
cancel-in-progress: true | |
jobs: | |
ping: | |
if: github.repository == 'apache/tvm' | |
runs-on: ubuntu-20.04 | |
steps: | |
- uses: actions/checkout@v2 | |
- name: Ping reviewers | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
run: | | |
set -eux | |
python ci/scripts/github/ping_reviewers.py --wait-time-minutes 10080 || echo failed |