This repository was archived by the owner on Dec 1, 2024. It is now read-only.
This repository was archived by the owner on Dec 1, 2024. It is now read-only.
GitHub Actions are not triggered for the pull request to update schema #534
Description
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 facebook/hhvm@2b6aa59