Build rust docs (#834)

.github/workflows/release.yml

@@ -0,0 +1,29 @@
+name: Release
+
+on:
+  push:
+    tags:
+      - 'v*'
+
+jobs:
+  build-release:
+    name: Release
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: Build rust docs
+        run: cargo doc --all --no-deps --release
+      - uses: actions/setup-node@v2
+        with:
+          node-version: '16'
+      - name: Install vercel
+        run: npm i -g vercel
+      - name: Deploy rust docs
+        run: |
+          mv vercel.json target/doc
+          mv target/doc target/${GITHUB_REPOSITORY#*/}
+          cd target/${GITHUB_REPOSITORY#*/}
+          vercel --token ${{ secrets.VERCEL_TOKEN }} --scope itering link --confirm
+          vercel --token ${{ secrets.VERCEL_TOKEN }} --scope itering deploy --prod
+

vercel.json

@@ -0,0 +1,5 @@
+{
+  "redirects": [
+    { "source": "/", "destination": "/drml" }
+  ]
+}