Do not run CI jobs for changes to docs

[font]

#121 introduced a way to ignore docs related changes from running CI jobs using the GitHub Actions paths-ignore workflow syntax. However, this does not work for jobs that are required to pass before merging (branch protection rule) because the PR will block forever without being merge-able. Once GitHub adds that feature (see https://github.community/t/feature-request-conditional-required-checks/16761 for feature request), enable it. Otherwise consider something like https://github.com/fkirc/skip-duplicate-actions for an alternative solution.