Move static site hosting to GitHub Pages

[lemmy]

PoC

https://lemmster.de/tla-by-example/

Summary

• Migrate deployment from VPS rsync to GitHub Pages via GitHub Actions.
• Configure Next.js static export for project-site hosting at /tla-by-example.
• Disable the legacy VPS deployment workflow.

Changes

• Added a Pages deployment workflow in .github/workflows/pages.yml using:
  • actions/configure-pages
  • actions/upload-pages-artifact
  • actions/deploy-pages
• Updated next.config.mjs to support GitHub Pages project-path hosting:
  • basePath from NEXT_PUBLIC_BASE_PATH
  • assetPrefix aligned with basePath
  • trailingSlash: true for static route compatibility
• Disabled legacy VPS deploy in .github/workflows/cd.yml (manual-only and non-running).

Notes

• Some runtime content will continue to be fetched from cjrtnc.leaningtech.com (e.g. CheerpJ loader/runtime) due to Leaning Technologies licensing/distribution requirements.
• Repository-hosted static assets (including exported app pages and TLC JAR artifacts) are still served from GitHub Pages.

[FedericoPonzi]

LGTM

[lemmy]

@FedericoPonzi Should I go ahead and ask the Linux Foundation to update learning.tlapl.us to point to the new github-hosted instance?

[FedericoPonzi]

Yes please, I'll add a redirect from tlabyexample to learning.tlapl.us.