2 ms·It was deployed with GitHub Actions, you can check that in .github/workflows/deploy-docs.ymlby throwaway1103 3y agoIt was deployed with GitHub Actions, you can check that in .github/workflows/deploy-docs.yml