Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
workflows: release use make for docs checks
Since the Makefile has a target for generating and checking that there's no diff between what's been generated and what's versioned, we don't need custom logic to perform the check, so we reuse this target for that step.
- Loading branch information