CI/CD check for correctness #1

	name: Correctness Checks
	on:
	push:
	branches:
	- main
	pull_request:
	paths:
	- '.github/workflows/**'
	- 'traincheck/invariant/**'
	- 'traincheck/onlinechecker/**'
	- 'traincheck/checker_online.py'
	- 'traincheck/checker.py'

	permissions:
	contents: write
	deployments: write
	pull-requests: write

	jobs:
	correctness-check:
	runs-on: self-hosted

	name: Run Correctness Checks
	steps:
	steps:
Check failure on line 25 in .github/workflows/correctness_checks.yml View workflow run for this annotation GitHub Actions / .github/workflows/correctness_checks.yml Invalid workflow file `You have an error in your yaml syntax on line 25`
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: '3.10'

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	ls .
	pwd
	pip install -e .

	- name: Run correctness script
	run: \|
	cd correctness_check
	python3 correct_check.py

	- name: Clear check files
	run: \|
	cd correctness_check
	rm -rf trace_*
	rm -rf traincheck_*

Provide feedback