Deploy to production

Author: jnonino

.github/workflows/deploy-prod.yml

@@ -0,0 +1,59 @@
+name: Deploy to Production Environment
+
+on:
+  # Can be triggered manually
+  workflow_dispatch:
+  # Runs every Monday at 00:00 UTC
+  schedule:
+    - cron:  '0 0 * * 1'
+
+env:
+  ENV: production
+  TARGET_REPO_NAME: learn-software-engineering.github.io
+
+jobs:
+  spell-checker:
+    runs-on: ubuntu-latest
+    container: ghcr.io/cn-writing/cspell
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: CSpell English
+        run: make spell-check
+  build:
+    runs-on: ubuntu-latest
+    container: ghcr.io/cn-writing/hugo
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+      - name: Build with Hugo
+        run: make build env=production
+      - name: Upload the built site
+        uses: actions/upload-artifact@v4
+        with:
+          name: "site-built-${{ env.TARGET_REPO_NAME }}"
+          path: public
+          retention-days: 8
+  publish:
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - name: Download the built site
+        uses: actions/download-artifact@v4
+        with:
+          name: "site-built-${{ env.TARGET_REPO_NAME }}"
+          path: public
+      - name: Publish site
+        uses: cpina/github-action-push-to-another-repository@v1.7.2
+        env:
+          SSH_DEPLOY_KEY: ${{ secrets.SSH_PROD_DEPLOY_KEY }}
+        with:
+          source-directory: ./public
+          destination-github-username: learn-software-engineering
+          destination-repository-name: ${{ env.TARGET_REPO_NAME }}
+          target-branch: main
+          target-directory: docs
+          commit-message: Publish revision ${{ github.sha }}
+          user-email: learn.software.eng@gmail.com