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