Fix exclusion of examples directory from linting in GitHub Actions

Author: oldcorvus

.github/workflows/ci.yml

@@ -39,5 +39,5 @@ jobs:
 
     - name: Run pylint
       run: |
-        pylint $(git ls-files '*.py') --disable=all --enable=missing-docstring
-        exclude: ^examples/
+           pylint $(git ls-files '*.py' | grep -v '^examples/') --disable=all --enable=missing-docstring
+