Update leaderboard style to heatmap (#631) #118

	---
	name: Docs

	on:
	push:
	branches:
	- main

	permissions:
	contents: write

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4
	with:
	fetch-depth: 0
	- name: Setting up PDM
	uses: pdm-project/setup-pdm@568ddd69406b30de1774ec0044b73ae06e716aa4 # v4
	with:
	python-version: "3.10"
	architecture: x64
	- name: Setting up nox
	uses: wntrblm/nox@5656fcedc31a1ea37d016e4d94d00185330cc528 # 2024.04.15
	with:
	python-versions: "3.10"
	- name: Configure Git Credentials
	run: \|
	git config user.email "[email protected]"
	git config user.name "GitHub Action"
	- name: Deploy Documentation
	run: \|
	git fetch origin gh-pages:gh-pages
	nox -s docs -- deploy --update-aliases dev
	git push origin gh-pages

Provide feedback