Basic CI using Github Actions and actions-rs #4

	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
Check failure on line 68 in .github/workflows/ci.yml View workflow run for this annotation GitHub Actions / CI Invalid workflow file `The workflow is not valid. .github/workflows/ci.yml (Line: 68, Col: 9): Unexpected value 'working-directory'`
	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