Closed davidkel closed 2 years ago
Doc PRs can't be merged because we need dci-lint to pass, but for gh-pages it's never run. We need a workflow for PRs to gh-pages to call the dci-lint workflow
Doc PRs can't be merged because we need dci-lint to pass, but for gh-pages it's never run. We need a workflow for PRs to gh-pages to call the dci-lint workflow