hhast
hhast copied to clipboard
GitHub Actions are not triggered for the pull request to update schema
We should use a deploy SSH key to push the commit to update schema, in order to trigger GitHub Actions, similar to what we did in https://github.com/facebook/hhvm/commit/2b6aa5945c96b5c94354182b3ac0921448925dd2