Bump actions/setup-python from 4 to 5 (#141)

cda-tum · Dec 8, 2023 · 0a2b16e · 0a2b16e
1 parent e6c72c5
commit 0a2b16e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -61,7 +61,7 @@ jobs:
           submodules: recursive
           fetch-depth: 0
       - name: Setup Python
-        uses: actions/setup-python@v4
+        uses: actions/setup-python@v5
         with:
           python-version: "3.10"
       - name: Install Z3