Merge remote-tracking branch 'origin/dev' into modernize-linting-and-config

Author: elopez

.github/workflows/ci.yml

@@ -49,7 +49,7 @@ jobs:
           - os: windows-2025
             type: truffle
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - name: Set up Python ${{ matrix.python }}
         uses: actions/setup-python@v5
         with:

.github/workflows/docker.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Set up QEMU
         uses: docker/setup-qemu-action@v3

.github/workflows/docs.yml

@@ -28,7 +28,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Setup Pages
         uses: actions/configure-pages@v5
       - uses: actions/setup-python@v5
@@ -37,7 +37,7 @@ jobs:
       - run: pip install -e ".[doc]"
       - run: pdoc -o html/ slither '!slither.tools'  # TODO fix import errors on pdoc run
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
+        uses: actions/upload-pages-artifact@v4
         with:
           # Upload the doc
           path: './html/'

.github/workflows/doctor.yml

@@ -29,7 +29,7 @@ jobs:
           - os: windows-2025
             python: 3.8
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
 
       - name: Set up Python ${{ matrix.python }}
         uses: actions/setup-python@v5

.github/workflows/pip-audit.yml

@@ -19,7 +19,7 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Install Python
         uses: actions/setup-python@v5

.github/workflows/publish.yml

@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
 
       - name: Set up Python
         uses: actions/setup-python@v5
@@ -38,7 +38,7 @@ jobs:
       - build-release
     steps:
       - name: fetch dists
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v5
         with:
           name: slither-dists
           path: dist/
@@ -47,7 +47,7 @@ jobs:
         uses: pypa/[email protected]
 
       - name: sign
-        uses: sigstore/[email protected].0
+        uses: sigstore/[email protected].1
         with:
           inputs: ./dist/*.tar.gz ./dist/*.whl
           release-signing-artifacts: true

.github/workflows/test.yml

@@ -33,7 +33,7 @@ jobs:
           - os: windows-2025
             python: 3.8
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - name: Set up Python ${{ matrix.python }}
         uses: actions/setup-python@v5
         with:
@@ -106,7 +106,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - name: Set up Python 3.8
         uses: actions/setup-python@v5
         with:
@@ -115,7 +115,7 @@ jobs:
       - run: pip install coverage[toml]
 
       - name: download coverage data
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v5
         with:
           pattern: coverage-data-*
           merge-multiple: true

slither/core/declarations/function.py

@@ -1295,7 +1295,7 @@ def all_conditional_solidity_variables_read(
         self, include_loop: bool = True
     ) -> List[SolidityVariable]:
         """
-        Return the Soldiity variables directly used in a condtion
+        Return the Solidity variables directly used in a condition
 
         Use of the IR to filter index access
         Assumption: the solidity vars are used directly in the conditional node
@@ -1337,7 +1337,7 @@ def _explore_func_nodes(
 
     def all_solidity_variables_used_as_args(self) -> List[SolidityVariable]:
         """
-        Return the Soldiity variables directly used in a call
+        Return the Solidity variables directly used in a call
 
         Use of the IR to filter index access
         Used to catch check(msg.sender)