[website] Updating the website #175

	name: website

	on:
	push:
	branches:
	- "main"
	paths:
	- "website/**"
	- ".github/workflows/deploy.yml"

	jobs:
	deploy:
	runs-on: ubuntu-latest

	if: github.repository == 'facebook/infer'

	env:
	working-directory: website
	node-version: 18

	steps:
	- name: Checkout code
	uses: actions/checkout@v2

	- name: Use Node.js ${{ env.node-version }}
	uses: actions/setup-node@v3
	with:
	node-version: ${{ env.node-version }}

	- name: Get yarn cache directory
	id: yarn
	run: echo "dir=$(yarn cache dir)" >> $GITHUB_OUTPUT

	- name: Restore yarn cache
	uses: actions/cache@v4
	with:
	path: ${{ steps.yarn.outputs.dir }}
	key: ${{ runner.os }}-yarn-${{ hashFiles('website/yarn.lock') }}

	- name: Install packages
	working-directory: ${{ env.working-directory }}
	run: yarn --frozen-lockfile

	- name: Deploy to GitHub Pages
	working-directory: ${{ env.working-directory }}
	run: \|
	git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
	git config --global user.name "${GITHUB_ACTOR}"
	echo "machine github.com login ${GITHUB_ACTOR} password ${{ secrets.GITHUB_TOKEN }}" > ~/.netrc
	GIT_USER=${GITHUB_ACTOR} yarn deploy

Provide feedback