Skip to content

Ping Reviewers

Ping Reviewers #8720

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