Skip to content

🏆 Leaderboard

🏆 Leaderboard #17

Workflow file for this run

# 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/[email protected]
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 -*-