Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Test PR t2 #14

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Test PR t2 #14

wants to merge 3 commits into from

Commits on Mar 31, 2022

  1. [ci] Add GitHub Actions bot to merge PRs on demand 

    This implements https://discuss.tvm.apache.org/t/rfc-allow-merging-via-pr-comments/12220. The bot can be invoked from a top-level review comment or via a regular PR comment. The text `@tvm-bot merge` anywhere in the body will trigger the bot. Right now it checks that the latest commit is reviewed and that all CI jobs that have run on that commit are successful. If it fails, it will leave a comment on the PR with the reason.

This is just a start and some features are left for followups:
* Various TODOs throughout the code
* "Scheduled" merges that happen once CI finishes
* Allowing committers to merge without getting a fresh review for changes after an approval
    @driazati
    driazati committed Mar 31, 2022
    Configuration menu
    Copy the full SHA
    a47c9f5 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2022

  1. make jobs faster

    @driazati
    driazati committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    f8eaabf View commit details
    Browse the repository at this point in the history

  2. test

    @driazati
    driazati committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    297cdba View commit details
    Browse the repository at this point in the history