This PR introduces a series of checks to ensure any change introduced to taichi-aot-demo doesn't break the main Taichi repository. Concisely the new CI script is about:
Ensure the description of this PR has referenced a PR in the main Taichi repository.
Ensure the PR in the main Taichi repository has referenced back to this PR in its description.
Ensure the Taichi PR is mergeable by the time giving approval.
In this way, we can somehow be notified that a peripheral repository (like taichi-aot-demo) has now got a different commit by its HEAD and to ensure the change doesn't break anything.
Tested with https://github.com/taichi-dev/taichi/pull/6828.
This PR introduces a series of checks to ensure any change introduced to
taichi-aot-demo
doesn't break the main Taichi repository. Concisely the new CI script is about:In this way, we can somehow be notified that a peripheral repository (like
taichi-aot-demo
) has now got a different commit by its HEAD and to ensure the change doesn't break anything.