Create github-pages.yml

.github/workflows/github-pages.yml

@@ -0,0 +1,56 @@
+name: GitHub Pages
+
+on:
+  push:
+    branches: [ main ]
+
+jobs:
+  deployment:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    concurrency:
+      group: ${{ github.workflow }}-${{ github.ref }}
+    environment: production
+    steps:
+
+    - name: Checkout
+      uses: actions/checkout@v3
+      with:
+        persist-credentials: false
+
+    - name: Setup Node
+      uses: actions/setup-node@v3
+      with:
+        node-version: 18
+        cache: yarn
+        cache-dependency-path: website/yarn.lock
+
+    - name: Install dependencies
+      run: yarn install
+      working-directory: website
+
+    - name: Build website
+      run: yarn build
+      working-directory: website
+
+    # Popular action to deploy to GitHub Pages:
+    # Docs: https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-docusaurus
+    - name: Deploy to GitHub Pages
+      uses: peaceiris/actions-gh-pages@v3
+      if: >
+        (startsWith(github.ref, 'refs/heads/main')) ||
+        (github.event_name == 'pull_request' &&
+        github.event.pull_request.merged == true &&
+        github.event.pull_request.base.ref == 'develop' &&
+        startsWith(github.head_ref, 'docs/'))
+      with:
+        github_token: ${{ secrets.DEPLOY_TOKEN }}
+        publish_dir: ./website/build
+        # The following lines assign commit authorship to the official
+        # GH-Actions bot for deploys to `gh-pages` branch:
+        # https://github.com/actions/checkout/issues/13#issuecomment-724415212
+        # The GH actions bot is used by default if you didn't specify the two fields.
+        # You can swap them out with your own user credentials.
+        # user_name: github-actions[bot]
+        # user_email: 41898282+github-actions[bot]@users.noreply.github.com