Lints

Set up CI for repo #1

	name: Lints

	# We only run these lints on trial-merges of PRs to reduce noise.
	on: pull_request

	jobs:
	clippy:
	name: Clippy
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Clippy check
	uses: auguwu/[email protected]
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	all-features: true
	deny: warnings
	args: --all-targets

	doc-links:
	name: Intra-doc links
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- run: cargo fetch
	# Requires #![deny(rustdoc::broken_intra_doc_links)] in crates.
	- name: Check intra-doc links
	run: cargo doc --workspace --all-features --document-private-items

	fmt:
	name: Rustfmt
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Check formatting
	run: cargo fmt --all --check

	hacspec:
	name: hacspec syntax
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@nightly-2023-01-15
	id: toolchain
	- run: rustup override set ${{steps.toolchain.outputs.name}}
	- name: Install hacspec
	run: cargo install hacspec --git https://github.com/hacspec/hacspec.git
	- name: Check syntax
	run: cargo hacspec plonkish-relation
	- name: Check compilation to Coq
	run: cargo hacspec -e v plonkish-relation
	- name: Check compilation to Easycrypt
	run: cargo hacspec -e ec plonkish-relation

Provide feedback