This website is built using Docusaurus, a modern static website generator.
npm installNote: feel free to use the package manager of your choice.
npm run startThis command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.
npm run buildThis command generates static content into the build directory and can be served using any static contents hosting service.
Pull requests are checked with TypeScript and a production build. Pushes to
main deploy the generated website to the gh-pages branch.
GitHub Pages must use gh-pages and / (root) as its publishing source.