Update leaderboard #8

	name: Publish Leaderboard

	on:
	push:
	branches: main
	paths:
	- "leaderboard/leaderboard.csv"

	# 1. Add this to give the token permission to push code
	permissions:
	contents: write

	jobs:
	render:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	# Important: Fetch all history if you're doing complex git operations
	fetch-depth: 0

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.10"

	- name: Render leaderboard markdown
	run: \|
	python competition/render_leaderboard.py

	# 2. Use a community-standard action to push changes
	- name: Commit and Push changes
	uses: stefanzweifel/git-auto-commit-action@v5
	with:
	commit_message: "Update leaderboard.md"
	file_pattern: 'leaderboard/leaderboard.md'

Provide feedback