[ci] only make docs on regular commits, not pull requests