Compile specimin generated output in evaluation script #61

	name: Python Test

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	jobs:
	python-script-test:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout project sources
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	- name: Setup Python
	uses: actions/setup-python@v2
	with:
	python-version: 3.8
	- name: Setup Gradle
	uses: gradle/gradle-build-action@v2
	- name: Run tests
	run: python TestMain.py
	- name: Run specimin on targets
	run: python main.py
	- name: Compile output
	run: sh check_compilation.sh

Provide feedback