Update docs deploy action

Author: SystemFw

.github/workflows/ci.yml

@@ -253,7 +253,7 @@ jobs:
           rm targets.tar
 
       - name: Deploy docs
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v4
         with:
           publish_dir: ./target/website
           github_token: ${{ secrets.GITHUB_TOKEN }}

build.sbt

@@ -94,7 +94,7 @@ ThisBuild / githubWorkflowAddedJobs += WorkflowJob(
   """.stripMargin.trim.linesIterator.mkString.some,
   steps = githubWorkflowGeneratedDownloadSteps.value.toList :+
     WorkflowStep.Use(
-      UseRef.Public("peaceiris", "actions-gh-pages", "v3"),
+      UseRef.Public("peaceiris", "actions-gh-pages", "v4"),
       name = Some(s"Deploy docs"),
       params = Map(
         "publish_dir" -> "./target/website",