From d96021b82de5317e2d52605f0e17bfd4b1fee7f9 Mon Sep 17 00:00:00 2001
From: Frederik Hennig <frederik.hennig@fau.de>
Date: Wed, 15 Nov 2023 21:19:01 +0900
Subject: [PATCH] switched to mypy for type checking
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 59eff89..d2e2cff 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,7 +19,7 @@ typechecker:
- $ENABLE_NIGHTLY_BUILDS
image: i10git.cs.fau.de:5005/pycodegen/pycodegen/full
script:
- - apt-get install pyright
- - pyright pystencilssfg
+ - pip install mypy
+ - mypy pystencilssfg
tags:
- docker
--
GitLab