chore(deps): bump antoniovazquezblanco/setup-ghidra

Bumps [antoniovazquezblanco/setup-ghidra](https://github.com/antoniovazquezblanco/setup-ghidra) from 2.0.12 to 2.0.13.
- [Release notes](https://github.com/antoniovazquezblanco/setup-ghidra/releases)
- [Commits](antoniovazquezblanco/setup-ghidra@v2.0.12...v2.0.13)

---
updated-dependencies:
- dependency-name: antoniovazquezblanco/setup-ghidra
  dependency-version: 2.0.13
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]

.github/workflows/publish-ghidra.yml

@@ -39,7 +39,7 @@ jobs:
         java-version: "21"
         distribution: "microsoft"
     - name: Install Ghidra 🐉
-      uses: antoniovazquezblanco/[email protected].12
+      uses: antoniovazquezblanco/[email protected].13
       with:
         version: ${{ matrix.ghidra-version }}
     - name: Compile ReVa 👩‍💻✨

.github/workflows/test-ghidra.yml

@@ -36,7 +36,7 @@ jobs:
         distribution: "microsoft"
 
     - name: Install Ghidra 🐉
-      uses: antoniovazquezblanco/[email protected].12
+      uses: antoniovazquezblanco/[email protected].13
       with:
         version: ${{ matrix.ghidra-version }}
 
@@ -98,7 +98,7 @@ jobs:
         distribution: "microsoft"
 
     - name: Install Ghidra 🐉
-      uses: antoniovazquezblanco/[email protected].12
+      uses: antoniovazquezblanco/[email protected].13
       with:
         version: "latest"
 
@@ -146,7 +146,7 @@ jobs:
         queries: security-extended,security-and-quality
 
     - name: Install Ghidra 🐉
-      uses: antoniovazquezblanco/[email protected].12
+      uses: antoniovazquezblanco/[email protected].13
       with:
         version: "latest"