[ci][tvmbot] Trigger GitHub Actions after merging

[driazati]

trafficstars

This fixes the issue where merging from GitHub Actions (i.e. with the default GITHUB_TOKEN) doesn't trigger post-merge GitHub Actions on the commit it creates in main. Instead these jobs are triggered manually by a call to the Actions API after the merge has taken place.

[driazati]

@tvm-bot rerun

[github-actions[bot]]

Built docs for commit 23f2113d7acd6e1205141bf5f6ca694310446c95 can be found here.

[driazati]

possible to unit test this one? curious about bypassing the subsequent auth checks here.

it should have been an OR instead of an AND for the checks hence the break but i’ll add some better testing

[github-actions[bot]]

It has been a while since this PR was updated, @gigiblender @Mousius @areusch please leave a review or address the outstanding comments. @driazati if this PR is still a work in progress, please convert it to a draft until it is ready for review.