update examples and add CI test #161

	name: continuous-integration

	on: [push]


	jobs:
	tests:
	name: Tests
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2
	- run: cargo build --workspace
	- run: cargo test --workspace --no-fail-fast

	checks:
	name: Check clippy and documentation
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2
	- run: cargo clippy --workspace --all-targets --all-features
	- run: cargo doc --workspace --no-deps

	fmt:
	name: Check formatting
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- uses: Swatinem/rust-cache@v2
	- uses: dtolnay/rust-toolchain@nightly
	with:
	components: rustfmt
	- run: cargo +nightly fmt --all -- --check --verbose

	examples:
	strategy:
	matrix:
	job:
	- check
	- verify
	name: Compile and formally test examples
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: Swatinem/rust-cache@v2
	- uses: dtolnay/rust-toolchain@stable
	- run: \|
	for example in examples/*/; do
	echo "Processing example: $example";
	cargo run ${{ matrix.job }} $example/contract.fol
	done

Provide feedback