make sure docs are deployed

Author: alexzhang13

.github/workflows/docs.yml

@@ -54,6 +54,9 @@ jobs:
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
     needs: build
+    permissions:
+      pages: write
+      id-token: write
     steps:
       - name: Deploy to GitHub Pages
         id: deployment

docs/next.config.js

@@ -2,6 +2,7 @@
 const nextConfig = {
   output: 'export',
   basePath: '/rlm',
+  trailingSlash: true,
   images: { unoptimized: true },
 };