Add type checker to GA

dodona-edu · Aug 7, 2023 · afb263f · afb263f
1 parent e4cf4e3
commit afb263f
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,3 +54,14 @@ jobs:
  with:
  version: "~= 23.0"
  src: "./tested ./tests"
+ types:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v3
+ - uses: jakebailey/pyright-action@v1
+ with:
+ version: '1.1.316'
+ warnings: true
+ working-directory: tested/
+
+