Merge pull request #92 from danicheg/tweak-publishing-website

Tweak the approach of publishing the website to GH pages on CI
scalacenter · Jan 20, 2024 · e41b2c4 · e41b2c4
2 parents e2f4fb5 + 4057b0d
commit e41b2c4
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/.github/workflows/publish-website.yml b/.github/workflows/publish-website.yml
@@ -2,8 +2,7 @@ name: Deploy Website
 on:
   push:
     branches: [main]
-    # uncomment this once the website publishes well
-    # tags: ["*"]
+    tags: ["*"]
 jobs:
   publish:
     runs-on: ubuntu-latest
@@ -12,7 +11,11 @@ jobs:
         with:
           fetch-depth: 0
       - uses: coursier/cache-action@v6
-      - name: Publish ${{ github.ref }}
-        run: sbt docs/docusaurusCreateSite docs/docusaurusPublishGhpages
-        env:
-          GITHUB_DEPLOY_KEY: ${{ secrets.GIT_DEPLOY_KEY }}
+      - name: Build website
+        run: sbt docs/docusaurusCreateSite
+      - name: Publish website to GitHub Pages
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          branch: gh-pages
+          folder: ./website/build
+          ssh-key: ${{ secrets.GIT_DEPLOY_KEY }}