huggingface leaderboard and github action to update markdown leaderbo… #1

	name: Update Markdown from JSON

	on:
	push:
	paths:
	- 'leaderboard/leaderboard.json'

	jobs:
	update-markdown:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Set up Python
	uses: actions/setup-python@v2
	with:
	python-version: '3.x'
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install pyyaml
	- name: Generate Markdown
	run: python .github/scripts/generate_leaderboard.py
	- name: Commit and push if changed
	run: \|
	git config --global user.email "action@github.com"
	git config --global user.name "GitHub Action"
	git add README.md
	git commit -m "Update README.md from JSON data" -a \|\| echo "No changes to commit"
	git push

Provide feedback