Skip to content

Website: redirect anchors #12

Website: redirect anchors

Website: redirect anchors #12

Workflow file for this run

name: Website
on:
push:
branches: [ 'website-v3' ]
env:
VERCEL_ORG_ID: ${{ secrets.VERCEL_ORG_ID }}
VERCEL_PROJECT_ID: ${{ secrets.VERCEL_PROJECT_ID }}
jobs:
deploy:
runs-on: ubuntu-latest
permissions:
contents: read
defaults:
run:
working-directory: ./website
steps:
- uses: actions/checkout@v3
- run: npm install --global vercel@latest
- run: make src/pages/docs
- name: Pull Vercel Environment Information
run: vercel pull --yes --environment=production --token=${{ secrets.VERCEL_TOKEN }}
- name: Build
run: vercel build --prod --token=${{ secrets.VERCEL_TOKEN }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Deploy
run: vercel deploy --prebuilt --prod --token=${{ secrets.VERCEL_TOKEN }}