ci: production deploy to GitHub Pages + domain-aware previews#334

Nonnyjoe merged 1 commit into

feat/preview-for-prcartesi/docs:feat/preview-for-prfrom

feat/prod-deploycartesi/docs:feat/prod-deployCopy head branch name to clipboard