diff --git a/.github/workflows/tvmbot.yml b/.github/workflows/tvmbot.yml index cef1f59bb62b..8db786ec4bcf 100644 --- a/.github/workflows/tvmbot.yml +++ b/.github/workflows/tvmbot.yml @@ -24,6 +24,14 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 + - name: show ci/scripts/github/github_tvmbot.py + run: | + set -eux + if ! [ -f ci/scripts/github/github_tvmbot.py ]; then + echo "Error: ci/scripts/github/github_tvmbot.py not found" + exit 1 + fi + cat ci/scripts/github/github_tvmbot.py - name: Run tvm-bot env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} diff --git a/ci/scripts/github/github_tvmbot.py b/ci/scripts/github/github_tvmbot.py index 0d8981b1ba3b..ed6d2573abae 100755 --- a/ci/scripts/github/github_tvmbot.py +++ b/ci/scripts/github/github_tvmbot.py @@ -740,10 +740,12 @@ def run(pr: PR): # Find the code to run for the command from the user user_command = body.lstrip("@tvm-bot").strip() + logging.info(f"user_command='{user_command}'") command_to_run = None for command in [Merge, Rerun]: if user_command in command.triggers: command_to_run = command + logging.info(f"Found command to run: {command.__name__}") break if command_to_run is None: