Skip to content

Merge remote-tracking branch 'origin/master' #150

Merge remote-tracking branch 'origin/master'

Merge remote-tracking branch 'origin/master' #150

Workflow file for this run

name: Website
on:
push:
branches: [ 'master' ]
env:
VERCEL_ORG_ID: ${{ secrets.VERCEL_ORG_ID }}
VERCEL_PROJECT_ID: ${{ secrets.VERCEL_PROJECT_ID }}
jobs:
deploy:
runs-on: ubuntu-22.04
permissions:
contents: read
defaults:
run:
working-directory: ./website
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0 # fetch all history for "latest modified time"
- 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:
# CUSTOM_GITHUB_TOKEN_READ is a manually created GitHub token with appropriate permissions:
# - allowed to list contributors
# - allowed to list sponsors
# It wouldn't be possible to use the default GITHUB_TOKEN because it doesn't have the required permissions.
GITHUB_TOKEN: ${{ secrets.CUSTOM_GITHUB_TOKEN_READ }}
- name: Deploy
run: vercel deploy --prebuilt --prod --token=${{ secrets.VERCEL_TOKEN }}