Experimenting with Kani #17

	on: [push, pull_request]

	name: CI

	jobs:
	build:
	name: build
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2
	- name: Build
	run: \|
	cargo build --all-targets
	cargo build --all-targets --features serde

	test:
	name: test
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2
	- name: Test
	run: \|
	cargo test
	cargo test --features serde

	fmt:
	name: fmt
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2
	- name: Check formatting
	run: cargo fmt --all -- --check

Provide feedback