Build the docs in CI for all PRs touching the mypy/ directory

- python#16061 added a new error code, but didn't add any docs for the new error code
- Because nothing in the `docs/` directory was modified, the docs CI job didn't run on that PR
- Now the docs build is failing on `master` because we have an error code without any documentation: https://github.com/python/mypy/actions/runs/6112378542/job/16589719563

Author: AlexWaygood

.github/workflows/docs.yml

@@ -8,6 +8,10 @@ on:
   pull_request:
     paths:
     - 'docs/**'
+    # We now have a docs check that fails if any error codes don't have documentation,
+    # so it's important to do the docs build on all PRs touching the mypy/ directory
+    # in case somebody's adding a new error code without any docs
+    - 'mypy/**'  
     - 'mypyc/doc/**'
     - '**/*.rst'
     - '**/*.md'