chore(deps): bump actions/setup-python from 4 to 6 in /.github/workflows

Bumps [actions/setup-python](https://github.com/actions/setup-python) from 4 to 6.
- [Release notes](https://github.com/actions/setup-python/releases)
- [Commits](actions/setup-python@v4...v6)

---
updated-dependencies:
- dependency-name: actions/setup-python
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

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

Author: dependabot[bot]

.github/workflows/library_interop_tests.yml

@@ -75,7 +75,7 @@ jobs:
           java-version: 17
 
       - name: Setup Python for running tests
-        uses: actions/setup-python@v4
+        uses: actions/setup-python@v6
         with:
           python-version: 3.11
           architecture: x64
@@ -273,7 +273,7 @@ jobs:
           java-version: 17
 
       - name: Setup Python for running tests
-        uses: actions/setup-python@v4
+        uses: actions/setup-python@v6
         with:
           python-version: 3.11
           architecture: x64

.github/workflows/library_python_tests.yml

@@ -69,7 +69,7 @@ jobs:
           dafny-version: ${{ inputs.dafny }}
 
       - name: Setup Python ${{ matrix.python-version }} for running tests
-        uses: actions/setup-python@v4
+        uses: actions/setup-python@v6
         with:
           python-version: ${{ matrix.python-version }}
           architecture: x64