Add type checking to workflow #31

	name: Test MARS
	on:
	push:
	paths:
	- "mars-cli/**"
	pull_request:
	paths:
	- "mars-cli/**"
	branches:
	- main
	workflow_dispatch:

	jobs:
	test-mars:
	strategy:
	matrix:
	os: [ubuntu-latest, windows-latest]
	python-version: ["3.9", "3.10", "3.11", "3.12"]
	runs-on: ${{ matrix.os }}
	env:
	working-directory: ./mars-cli

	steps:
	- uses: actions/checkout@v4
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}
	cache: 'pip'
	cache-dependency-path: '**/setup.py'
	- run: pip install -e '.[test]'
	working-directory: ${{ env.working-directory }}

	- name: Test python code
	run: pytest
	working-directory: ${{ env.working-directory }}

	- name: Formatting
	run: black --check mars_lib/
	working-directory: ${{ env.working-directory }}

	- name: Linting
	run: ruff check mars_lib/
	working-directory: ${{ env.working-directory }}

	- name: Type checking
	run: mypy mars_lib/
	working-directory: ${{ env.working-directory }}

Provide feedback