Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Document how to find the configuration used in CI
This documents how to determine which settings are used in CI, since I see this question come up regularly. We currently don't have a great way to answer the question, but at least there is something.
- Loading branch information