Merge pull request #143 from alan-turing-institute/142-verifier-ffi #394

	name: Rust

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

	env:
	CARGO_TERM_COLOR: always

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- name: Build
	run: cargo build --verbose
	- name: Run tests
	run: cargo test --verbose

	rustfmt:
	name: rustfmt

	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v3
	- name: Install Rust
	uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: stable
	components: rustfmt
	- name: Check formatting
	run: \|
	cargo fmt --all -- --check

	# Clippy:
	# https://github.com/actions-rs/clippy-check
	clippy_check:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v1
	- run: rustup component add clippy
	- uses: actions-rs/clippy-check@v1
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	args: --all-features

	docs:
	name: Docs

	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v3
	- name: Install Rust
	uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: stable
	- name: Check documentation
	env:
	RUSTDOCFLAGS: -D warnings
	run: cargo doc --no-deps --document-private-items --workspace

Provide feedback