Closed drevell closed 8 months ago
Fixes #460 .
This LGTM, but is there a way for us to catch this in CI? Maybe we could auto-generate these sections of documentation and have CI error if there's a diff?
Filed #462 to explore this.
Fixes #460 .