Publish target site (#883)

spotify · Jan 9, 2024 · ed96b4a · ed96b4a
1 parent c86323e
commit ed96b4a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -374,5 +374,5 @@ jobs:
         uses: peaceiris/actions-gh-pages@v3.9.3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: site/target
+          publish_dir: site/target/site
           keep_files: true
diff --git a/.github/workflows/publish-gh-site.yml b/.github/workflows/publish-gh-site.yml
@@ -43,5 +43,5 @@ jobs:
         uses: peaceiris/actions-gh-pages@v3.9.3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: site/target
+          publish_dir: site/target/site
           keep_files: true
diff --git a/build.sbt b/build.sbt
@@ -203,7 +203,7 @@ ThisBuild / githubWorkflowAddedJobs ++= Seq(
             "github_token" -> "${{ secrets.GITHUB_TOKEN }}",
             "publish_dir" -> {
               val path = (ThisBuild / baseDirectory).value.toPath.toAbsolutePath
-                .relativize((site / target).value.toPath)
+                .relativize((site / makeSite / target).value.toPath)
               // os-independent path rendering ...
               (0 until path.getNameCount).map(path.getName).mkString("/")
             },