How is the site deployed to GitHub Pages?

[igorjm]

Which workflow builds and deploys the static Next.js export?

[igorjm]

Deployment is handled by .github/workflows/nextjs.yml. On push to master it runs npm ci + npm run build in web/, uploads the web/out artifact, and deploys to GitHub Pages.