Only style check on PRs to reduce CI time

I think generating docs on PR jobs is overkill, just style check is enough.