feat: Add hugr-to-json encoding, and validate it #249

	name: Pull Request

	on: pull_request

	jobs:
	check:
	name: Check Python
	runs-on: ubuntu-latest

	strategy:
	matrix:
	python-version: ['3.10']

	steps:
	- uses: actions/checkout@v3

	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v3
	with:
	python-version: ${{ matrix.python-version }}
	cache: "pip"
	cache-dependency-path: pyproject.toml

	- name: Build Hugr validator
	uses: PyO3/maturin-action@v1
	with:
	command: build
	sccache: 'true'
	rust-toolchain: '1.75'
	working-directory: validator

	- name: Install Hugr validator
	run: pip install validator/target/wheels/*

	- name: Install Guppy
	run: pip install -e '.[dev]'

	- name: Type check with mypy
	run: mypy guppy

	- name: Check formatting with ruff
	uses: chartboost/ruff-action@v1
	with:
	src: "./guppy"
	args: format --check

	- name: Lint with ruff
	uses: chartboost/ruff-action@v1
	with:
	src: "./guppy"
	args: check

	- name: Run tests
	run: pytest

Provide feedback