Add type checker to GA

dodona-edu · Aug 7, 2023 · 1c34fad · 1c34fad
1 parent e4cf4e3
commit 1c34fad
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,3 +54,19 @@ jobs:
  with:
  version: "~= 23.0"
  src: "./tested ./tests"
+ types:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v3
+ - uses: actions/setup-python@v4
+ with:
+ python-version: 3.11.2
+ cache: 'pipenv'
+ - run: pip install pipenv
+ - run: pipenv install --dev
+ - run: pipenv shell
+ - uses: jakebailey/pyright-action@v1
+ with:
+ version: '1.1.316'
+ warnings: true
+ working-directory: tested/