Basic CI using Github Actions and actions-rs #3

	name: CI

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

	env:
	CARGO_TERM_COLOR: always

	jobs:
	build_and_test:
	name: Tests
	runs-on: ubuntu-latest

	steps:
	- name: Checkout Plonky3
	uses: actions/checkout@v4
	with:
	repository: Plonky3/Plonky3
	path: Plonky3

	- name: Checkout Valida
	uses: actions/checkout@v4
	with:
	path: valida

	- name: Install nightly toolchain
	uses: actions-rs/toolchain@v1
	with:
	profile: minimal
	toolchain: nightly

	- name: Build
	working-directory: valida
	run: cargo build --verbose --all-targets

	- name: Test
	working-directory: valida
	run: cargo test --verbose

	# lints:
	# name: Lints
	# runs-on: ubuntu-latest
	#
	# steps:
	# - name: Checkout Plonky3
	# uses: actions/checkout@v4
	# with:
	# repository: Plonky3/Plonky3
	# path: Plonky3
	#
	# - name: Checkout Valida
	# uses: actions/checkout@v4
	# with:
	# path: valida
	#
	# - name: Install nightly toolchain
	# uses: actions-rs/toolchain@v1
	# with:
	# profile: minimal
	# toolchain: nightly
	# components: rustfmt, clippy
	#
	# - name: Run cargo fmt
	# uses: actions-rs/cargo@v1
	# working-directory: valida
	# with:
	# command: fmt
	# args: --all -- --check
	#
	# # TODO: Enforce clippy at some point...
	# #- name: Run cargo clippy
	# # uses: actions-rs/cargo@v1
	# # working-directory: valida
	# # with:
	# # command: clippy
	# # args: --all-features --all-targets -- -D warnings -A incomplete-features

Provide feedback