diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ce3f5663661a95ddf50042eb4a4c8c5f65b2dfd7..2476207cfb94c0c3694fff3c07ddedfa581f3a4c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -48,7 +48,7 @@ jobs: python-version: '3.x' - name: "Main Script" run: | - EXTRA_INSTALL="numpy pymbolic" + EXTRA_INSTALL="numpy pymbolic orderedsets" curl -L -O https://gitlab.tiker.net/inducer/ci-support/raw/main/prepare-and-run-pylint.sh . ./prepare-and-run-pylint.sh "$(basename $GITHUB_REPOSITORY)" diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index accae2880950df25286dd89843bb4d24245cfaa9..6726e284858fb8b5ffe1ae3eec4633c4bc448585 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -60,7 +60,7 @@ Mypy: Pylint: script: - - EXTRA_INSTALL="numpy pymbolic" + - EXTRA_INSTALL="numpy pymbolic orderedsets" - py_version=3 - curl -L -O https://gitlab.tiker.net/inducer/ci-support/raw/main/prepare-and-run-pylint.sh - . ./prepare-and-run-pylint.sh "$CI_PROJECT_NAME"