Add Pyre CI

plasma-umass · Dec 19, 2023 · 642ccfa · 642ccfa
1 parent 794ff9e
commit 642ccfa
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -23,3 +23,6 @@ jobs:
 
       - name: Run tests
         run: python -m pytest
+
+      - name: Pyre
+        run: pip install pyre-check && pyre
diff --git a/.pyre_configuration b/.pyre_configuration
@@ -1,6 +1,7 @@
 {
   "site_package_search_strategy": "pep561",
   "source_directories": [
-    "src"
+    "src",
+    "tests"
   ]
 }