Merge branch 'main' into pytato

.github/workflows/ci.yml

@@ -49,7 +49,7 @@ jobs:
                 . ./ci-support-v0
                 build_py_project_in_conda_env
                 python -m pip install mypy
-                python -m mypy "$(basename $GITHUB_REPOSITORY)" test
+                ./run-mypy.sh
 
     pytest3:
         name: Pytest Conda Py3

.gitignore

@@ -21,3 +21,6 @@ a.out
 .pytest_cache
 
 test/nodal-dg
+
+.pylintrc.yml
+.run-pylint.py

.gitlab-ci.yml

@@ -96,7 +96,7 @@ Mypy:
     . ./ci-support-v0
     build_py_project_in_venv
     python -m pip install mypy
-    python -m mypy "$CI_PROJECT_NAME" test
+    ./run-mypy.sh
   tags:
   - python3
   except:

run-mypy.sh

+#!/bin/bash
+
+python -m mypy arraycontext/ examples/ test/

run-pylint.sh

+#!/bin/bash
+
+set -o errexit -o nounset
+
+ci_support="https://gitlab.tiker.net/inducer/ci-support/raw/main"
+
+if [[ ! -f .pylintrc.yml ]]; then
+    curl -o .pylintrc.yml "${ci_support}/.pylintrc-default.yml"
+fi
+
+
+if [[ ! -f .run-pylint.py ]]; then
+    curl -L -o .run-pylint.py "${ci_support}/run-pylint.py"
+fi
+
+
+PYLINT_RUNNER_ARGS="--jobs=4 --yaml-rcfile=.pylintrc.yml"
+
+if [[ -f .pylintrc-local.yml ]]; then
+    PYLINT_RUNNER_ARGS+=" --yaml-rcfile=.pylintrc-local.yml"
+fi
+
+python .run-pylint.py $PYLINT_RUNNER_ARGS $(basename $PWD) test/test_*.py examples "$@"