add ruff to CI config

Author: bygu4

.github/workflows/ci_extra.yml

@@ -31,6 +31,10 @@ jobs:
     - name: Lint with pycodestyle
       run: |
         pycodestyle pyformlang || true
+    - name: Lint with ruff
+      run: |
+        ruff check pyformlang || true
+
     - name: Check with pyright
       run: |
         pyright --stats pyformlang

.github/workflows/ci_feature.yml

@@ -35,6 +35,10 @@ jobs:
     - name: Lint with pycodestyle
       run: |
         pycodestyle pyformlang || true
+    - name: Lint with ruff
+      run: |
+        ruff check pyformlang || true
+
     - name: Check with pyright
       run: |
         pyright --stats pyformlang

.github/workflows/ci_master.yml

@@ -34,6 +34,10 @@ jobs:
     - name: Lint with pycodestyle
       run: |
         pycodestyle pyformlang || true
+    - name: Lint with ruff
+      run: |
+        ruff check pyformlang || true
+
     - name: Check with pyright
       run: |
         pyright --stats pyformlang

pyrightconfig.json

@@ -2,7 +2,7 @@
     "include": [
       "pyformlang"
     ],
-  
+
     "exclude": [
       "**/node_modules",
       "**/__pycache__",
@@ -12,7 +12,7 @@
 
     "pythonVersion": "3.8",
     "pythonPlatform": "Linux",
-  
+
     "strictListInference": true,
     "strictSetInference": true,
     "strictDictionaryInference": true,

ruff.toml

@@ -1,5 +1,3 @@
-include = ["pyformlang"]
-
 exclude = [
     ".bzr",
     ".direnv",