Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: don't build for doc-only changes
Commit 0c55e10 introduced a non-optional build step, but it is not needed when doing doc-only changes. Fixes: 0c55e10 Signed-off-by: Pablo Barbáchano <[email protected]>
- Loading branch information