Merge branch 'main' into main

Author: AchintyaAkula

.github/workflows/deploy.yaml

@@ -3,6 +3,7 @@ name: Deploy to GitHub Pages
 on:
   push:
     branches: [ main ]
+  pull_request:
   workflow_dispatch:
 
 permissions:
@@ -22,6 +23,7 @@ jobs:
 
   deploy:
     needs: build
+    if: github.ref == 'refs/heads/main' && github.repository == 'nextftc/nextftc-docs-beta'
     runs-on: ubuntu-latest
     environment:
       name: github-pages

.idea/workspace.xml

@@ -7,15 +7,14 @@
     "start": "astro dev",
     "build": "astro build",
     "preview": "astro preview",
-    "astro": "astro"
+    "astro": "astro",
+    "check": "astro check"
   },
   "dependencies": {
     "@astrojs/starlight": "^0.41.4",
+    "@types/node": "^26.1.1",
     "astro": "^7.0.2",
     "sharp": "^0.34.5",
     "starlight-theme-galaxy": "^0.8.0"
-  },
-  "devDependencies": {
-    "@types/bun": "^1.3.14"
   }
 }