Gecode Website (Astro + GitHub Pages)

This repository hosts the Gecode website and is built with Astro and Tailwind CSS 4. React is available for future interactive islands, but the current site does not require client-side JavaScript.

• Node.js 22.12 or newer (Node.js 24 is used in CI)
• npm

1. Install Node dependencies:

npm ci

2. Start local development:

npm run dev

3. Build the site:

npm run build

Run the full CI-equivalent checks locally:

npm run check:quality

This command:

• builds the active Astro site
• checks executable-bit hygiene
• validates generated active-site HTML pages
• checks content transformations, metadata, and canonical URLs
• validates the documentation and redirect Workers

For the GitHub Pages artifact, including the mailing-list archive but excluding documentation now served from R2, run:

npm run build:pages

The legacy rollback/comparison build still copies both frozen archives:

npm run build:deploy

That legacy artifact exceeds GitHub Pages' 1 GB published-site limit and must not be used by the production workflow.

• doc/ and users-archive/ are treated as frozen historical archives.
• Active-page checks intentionally exclude those frozen archives.
• The Jekyll files remain temporarily as source for the compatibility content loader. They can be converted to native Astro content collections in a later, reviewable migration step.

• Astro migration analysis
• Classical site parity review
• Deployment runbook
• Static documentation hosting plan