Add @jlaswell quote to the home page #166
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 }} |