create documentation microsite (#56)

Adds a documentation microsite, and moves most contents of the readme over to the site Co-authored-by: Olivier Mélois <[email protected]> Co-authored-by: Jakub Kozłowski <[email protected]>
disneystreaming · Jan 20, 2022 · 5a9f9ba · 5a9f9ba
1 parent d87e412
commit 5a9f9ba
Show file tree

Hide file tree

Showing 40 changed files with 8,686 additions and 497 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -68,7 +68,7 @@ jobs:
         run: |
           sbt scalafmt_$BUILD_KEY \
               headerCheck \
-              "docs/mdoc --in $PWD/README.md"
+              "docs/mdoc"
 
       - name: Check for untracked changes
         run: |
@@ -118,3 +118,19 @@ jobs:
           PGP_SECRET: ${{ secrets.PGP_SECRET }}
           SONATYPE_PASSWORD: ${{ secrets.SONATYPE_PASSWORD }}
           SONATYPE_USERNAME: ${{ secrets.SONATYPE_USERNAME }}
+
+      - name: Compile Documentation Markdown Files
+        if: startsWith(github.ref, 'refs/tags/v') # do not run for snapshots
+        run: sbt "docs/mdoc"
+
+      - name: Build Microsite
+        if: startsWith(github.ref, 'refs/tags/v') # do not run for snapshots
+        run: cd ./modules/website && yarn build
+
+      - name: Publish Microsite
+        if: startsWith(github.ref, 'refs/tags/v') # do not run for snapshots
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./modules/website/build
+          publish_branch: gh-pages