Delete Leaderboard Endpoint #499

	name: backend-test
	on:
	workflow_dispatch:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]
	jobs:
	backend-test:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repo
	uses: actions/checkout@v4
	- name: Setup dotnet 8
	uses: actions/setup-dotnet@v4
	with:
	dotnet-version: '8.0'
	- name: Restore NuGet packages
	run: dotnet restore
	- name: Restore tools
	run: dotnet tool restore
	- name: Backup committed openapi.json
	run: cp LeaderboardBackend/openapi.json /tmp/committed-openapi.json
	- name: Build
	run: dotnet build --no-restore
	- name: Verify that committed openapi.json is up-to-date
	run: \|
	diff --brief LeaderboardBackend/openapi.json /tmp/committed-openapi.json \
	\|\| (echo "LeaderboardBackend/openapi.json is outdated. Please build the project and commit the auto-generated file."; exit 1)
	- name: Run tests
	run: dotnet test LeaderboardBackend.Test --no-restore

Provide feedback