Source for cerastes.dev, the website for Cerastes, a deductive verifier for C and C++. Built with Astro.
Requires Node 22.12 or later.
npm install
npm run dev # dev server at http://localhost:4321
npm run build # static output in dist/
npm run preview # serve dist/ locally| Path | Contents |
|---|---|
src/pages/index.astro |
The site's single page |
src/assets/ |
Logo files imported by pages |
public/ |
Files served as-is: favicons, app icons, web manifest, social preview |
Every push to main builds the site and deploys it to GitHub Pages through .github/workflows/deploy.yml. In the repo's Settings → Pages, set Source to GitHub Actions.
The site is served at the custom domain cerastes.dev, configured in Settings → Pages → Custom domain. The site option in astro.config.mjs must match it, because it is used to build absolute URLs such as the social preview image.