Merge branch 'master' into paperfix/shang #599

	name: Python coverage

	on: ["push"]

	jobs:
	build:
	runs-on: windows-latest
	env:
	MPLBACKEND: Agg # https://github.com/orgs/community/discussions/26434
	SDL_VIDEODRIVER: "dummy" # for PyGame render https://stackoverflow.com/questions/15933493/pygame-error-no-available-video-device
	steps:
	- uses: actions/checkout@v2
	- name: Set up Python 3.10
	uses: actions/setup-python@v1
	with:
	python-version: '3.10'
	- name: Install dependencies
	run: \|
	git submodule update --init --recursive
	python -m pip install --upgrade pip
	pip install -e .[gym,gui,planning,htmlvis,dev]
	- name: Setup java for ENHSP
	uses: actions/setup-java@v2
	with:
	distribution: "microsoft"
	java-version: "17"
	- name: Download and install ENHSP
	run: \|
	git clone https://gitlab.com/enricos83/ENHSP-Public.git
	cd ENHSP-Public; git checkout enhsp20-0.9.7; bash ./compile; cd ..
	bash -c "mkdir .planners; mv ENHSP-Public/enhsp-dist .planners/enhsp-20; rm -rf ENHSP-Public"
	- name: Build coverage using pytest-cov
	run: \|
	pytest --cov=hcraft --cov-report=xml tests
	- name: Codacy Coverage Reporter
	uses: codacy/[email protected]
	with:
	project-token: ${{ secrets.CODACY_PROJECT_TOKEN }}
	coverage-reports: coverage.xml

Provide feedback