Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't regenerate RBIs in CI (it's too slow, plus we're checking in Ge…
…mfile.lock now)
- Loading branch information