Fix game not being ended properly if saving game data fails #17

	name: "Linters (comprl-web-reflex)"

	# Run on pull requests and when merging to main branch
	on:
	push:
	branches:
	- main
	paths:
	- "comprl-web-reflex/**"
	pull_request:
	paths:
	- "comprl-web-reflex/**"

	defaults:
	run:
	working-directory: "comprl-web-reflex"

	jobs:
	mypy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: "3.10"
	- name: Add matcher
	run: \|
	echo "::add-matcher::.github/workflows/mypy-problem-matcher.json"
	- name: Install package and mypy dependencies
	run: \|
	pip install -r requirements.txt
	pip install ../comprl
	pip install mypy
	- name: Run mypy
	run: \|
	python3 -m mypy .

	ruff:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: "3.10"
	- name: Install package and ruff
	run: \|
	python -m pip install ruff
	# Include `--format=github` to enable automatic inline annotations.
	- name: Run Ruff
	run: ruff check --output-format=github .

	black:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	- uses: psf/black@stable

Provide feedback