Build and deploy an updated version of the website

ci: add permissions to deploy to gh pages #481

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	53s
Deploy to GitHub pages	6s
	59s