Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
`docsgen` make target is already a dependency of `gen` which has a CI check. We do not need to check `docsgen` separately for conformance. Fixes #12498
- Loading branch information