Parser and cli implemented #34

	name: Rust CI

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

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- name: Check out the repository
	uses: actions/checkout@v2

	- name: Set up Rust
	uses: actions-rs/toolchain@v1
	with:
	toolchain: stable
	profile: minimal
	override: true

	- name: Cache Cargo registry
	uses: actions/cache@v2
	with:
	path: \|
	~/.cargo/registry
	~/.cargo/git
	key: ${{ runner.os }}-cargo-registry-${{ hashFiles('**/Cargo.lock') }}
	restore-keys: \|
	${{ runner.os }}-cargo-registry-

	- name: Cache Cargo build
	uses: actions/cache@v2
	with:
	path: target
	key: ${{ runner.os }}-cargo-build-${{ hashFiles('**/Cargo.lock') }}
	restore-keys: \|
	${{ runner.os }}-cargo-build-

	- name: Build
	run: cargo build --verbose

	- name: Run tests
	run: cargo test --verbose

	verify-proof:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet", "starknet_with_keccak"]
	steps:
	- name: Checkout repository
	uses: actions/checkout@v3

	- name: Setup Rust toolchain
	uses: actions-rust-lang/setup-rust-toolchain@v1

	- name: Run verification
	run: cargo run --release --bin cairovm_verifier_cli --features ${{ matrix.layout }} --no-default-features -- --proof examples/proofs/${{ matrix.layout }}/cairo0_example_proof.json

Provide feedback