🏆 Leaderboard #10

	# Leaderboard
	# ===========
	#

	---

	name: 🏆 Leaderboard


	# Triggers
	# --------
	#
	# Run on any push to the Renaissance branch of the P5 code.

	on:
	push:
	branches:
	- main
	paths:
	- 'engineering.json'
	- '.github/workflows/leaerboard.yaml'
	schedule:
	- cron: '45 3 * * *'


	# Jobs
	# ----
	#
	# What to do.

	jobs:
	leaderboard:
	name: 🏆 Leaderboard
	runs-on: ubuntu-latest
	steps:
	-
	name: 📚 Repository Checkout
	uses: actions/checkout@v4.2.2
	with:
	token: ${{secrets.GITHUB_TOKEN}}
	-
	name: 🐍 Python Wrangling
	uses: actions/setup-python@v4
	with:
	python-version: '3.x'
	-
	name: Node Wrangling
	uses: actions/setup-node@v4
	with:
	node-version: '16'
	-
	name: 📲 Software Installation
	run: \|
	sudo apt-get update --quiet --yes
	sudo apt-get install --quiet --yes pandoc
	pip install --no-input --quiet --index-url https://test.pypi.org/simple/ --extra-index-url https://pypi.org/simple/ slim-leaderboard
	-
	name: 📈 Leaderboard Generation
	run: \|
	rm --force leaderboard.md
	slim-leaderboard --emoji --output_format MARKDOWN engineering.json > leaderboard.md
	env:
	GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
	-
	name: 🖋️ Formatting
	run: \|
	mkdir --parents gh-pages
	rm --force gh-pages/index.html
	pandoc leaderboard.md --output=gh-pages/index.html
	-
	name: 📢 Publication
	uses: peaceiris/actions-gh-pages@v4
	with:
	github_token: ${{secrets.GITHUB_TOKEN}}
	publish_dir: gh-pages
	publish_branch: gh_pages

	...

	# -- mode: YAML; tab-width: 4 --

Provide feedback