Upgrade `halo2_proofs` #40

	name: Lints

	# We only run these lints on trial-merges of PRs to reduce noise.
	on:
	pull_request:
	types: [synchronize, opened, reopened, ready_for_review]
	push:
	branches:
	- main

	env:
	CARGO_TERM_COLOR: always

	jobs:
	build-test-IPA:
	if: github.event.pull_request.draft == false
	runs-on: ubuntu-latest

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

	clippy:
	if: github.event.pull_request.draft == false

	name: Clippy
	timeout-minutes: 30
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	- uses: actions-rs/toolchain@v1
	with:
	components: clippy
	override: false

Provide feedback