Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build: Remove CI skips for documents
Documents are usually the last thing we update before a release, meaning that a tagged commit may not be built if it was a doc only update. If we really want to skip CI, it should be marked in the commit message.
- Loading branch information