add pyright CI

KULeuven-MICAS · Dec 17, 2024 · a9dd26a · a9dd26a
1 parent 8dfa45d
commit a9dd26a
Show file tree

Hide file tree

Showing 3 changed files with 160 additions and 81 deletions.
diff --git a/.github/workflows/ci-pyright.yml b/.github/workflows/ci-pyright.yml
@@ -0,0 +1,28 @@
+# This workflow will install Python dependencies, run tests and lint with a single version of Python
+# For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions
+
+name: CI - Pyright
+
+on:
+  # Trigger the workflow on push or pull request,
+  # but only for the master branch
+  push:
+    branches:
+      - main
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-24.04
+
+    env:
+      PYRIGHT_VERSION: 1.0
+
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/prefix-dev/[email protected]
+        with:
+          cache: true
+          cache-write: ${{ github.event_name == 'push' && github.ref_name == 'main' }}
+      - name: check pyright
+        run: pixi run pyright
diff --git a/pixi.lock b/pixi.lock
diff --git a/pyproject.toml b/pyproject.toml
@@ -85,3 +85,4 @@ mlir = { version = "==19.1.1.d401987fe349a87c53fe25829215b80b70c0c1a", channel =
 clang = "==19.1.1"
 lld = "==19.1.1"
 snax-cluster = "==0.2.7"
+pyright = ">=1.1.390,<2"