Removed typings

fzakaria · Aug 30, 2023 · 5550ac2 · 5550ac2
1 parent 8a61728
commit 5550ac2
Show file tree

Hide file tree

Showing 28 changed files with 7 additions and 9,521 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -18,13 +18,7 @@ jobs:
     - uses: cachix/cachix-action@v12
       with:
         name: fzakaria
-        extraPullNames: devenv
         authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
-    - name: Install devenv.sh
-      run: nix profile install github:cachix/devenv/latest
-      shell: sh
-    - name: Run tests
-      run: |
-        devenv ci
-        devenv shell make lint  
-        devenv shell python -m sqlelf --help
+      - run: nix develop --command make lint
+      - run: nix build --print-build-logs
+      - run: nix run . -- --help
diff --git a/sqlelf/elf/dynamic.py b/sqlelf/elf/dynamic.py
@@ -16,7 +16,7 @@ def generator() -> Iterator[dict[str, Any]]:
             # super important that these accessors are pulled out of the tight loop
             # as they can be costly
             binary_name = binary.name
-            for entry in binary.dynamic_entries:
+            for entry in binary.dynamic_entries:  # pyright: ignore
                 yield {"path": binary_name, "tag": entry.tag.name, "value": entry.value}
 
     return generator

diff --git a/sqlelf/elf/instruction.py b/sqlelf/elf/instruction.py
@@ -5,6 +5,9 @@
 
 import apsw
 import apsw.ext
+
+# TODO(fzkakaria): https://github.com/capstone-engine/capstone/issues/1993
+# pyright: reportMissingTypeStubs=false
 import capstone
 import lief