chore: switch from vuepress to vitepress
deploy / deploy (push) Successful in 4m46s

This commit is contained in:
2026-07-11 11:41:14 +02:00
parent 3aa57fcdda
commit 53bd794a5c
99 changed files with 525 additions and 2910 deletions
+24 -2
View File
@@ -4,15 +4,37 @@
npm.enable = false;
pnpm.enable = true;
};
dotenv.enable = true;
processes.dev.exec = "pnpm dev";
cachix = {
push = "phundrak";
pull = [
"phundrak"
"devenv"
];
};
tasks = {
"website:install-deps".exec = "pnpm ci";
"website:export-md" = {
exec = "${pkgs.emacs}/bin/emacs -Q --script export.el";
execIfModified = [ "docs/**/*.org" ];
};
"website:build" = {
exec = "pnpm run build";
after = [ "website:export-md@succeeded" ];
exec = "pnpm build";
after = [
"website:export-md@succeeded"
"website:install-deps@succeeded"
];
};
"website:deploy" = {
exec = ''
if [[ -z "''${CLOUDFLARE_API_TOKEN:-}" ]]; then
echo "Error: CLOUDFLARE_API_TOKEN is not set. Run this in CI only."
exit 1
fi
${pkgs.wrangler}/bin/wrangler pages deploy
'';
after = [ "website:build@succeeded" ];
};
};
}