Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Doc build bug #1866
@changhiskhan there's some bug showing up in the docs but not in the main test suite. Can you have a look?