fix ci

klee-contrib · Jan 23, 2025 · b26f9c0 · b26f9c0
1 parent 694bd2a
commit b26f9c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs-and-tests.yaml b/.github/workflows/docs-and-tests.yaml
@@ -71,6 +71,6 @@ jobs:
           path: docs
 
       - name: deploy
-        uses: actions/deploy-pages@v3
+        uses: actions/deploy-pages@v4
         with:
           token: ${{ github.token }}