From 634f4add287655782591af4f86cfc40900f41af9 Mon Sep 17 00:00:00 2001
From: Matthias Diener <mdiener@illinois.edu>
Date: Fri, 11 Jun 2021 17:40:21 -0500
Subject: [PATCH] add run-mypy.sh (#26)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
* add run-mypy.sh
* use for github CI
* add to gitlab
* mypy -> python -m mypy
Co-authored-by: Andreas Klöckner <inform@tiker.net>
---
.github/workflows/ci.yml | 2 +-
.gitlab-ci.yml | 2 +-
run-mypy.sh | 3 +++
3 files changed, 5 insertions(+), 2 deletions(-)
create mode 100755 run-mypy.sh
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c9bfee5..8c74a38 100644
--- a/.github/workflows/ci.yml
+++ b/.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
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e596fd7..7b60234 100644
--- a/.gitlab-ci.yml
+++ b/.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:
diff --git a/run-mypy.sh b/run-mypy.sh
new file mode 100755
index 0000000..75f2cff
--- /dev/null
+++ b/run-mypy.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+python -m mypy arraycontext/ examples/ test/
--
GitLab