Update Cargo.toml description #6

	name: CI

	on:
	pull_request:
	push:

	jobs:
	rust:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Install stable Rust
	uses: dtolnay/rust-toolchain@stable
	with:
	targets: wasm32-unknown-unknown

	- name: Default tests
	run: cargo test

	- name: Builtin game tests
	run: cargo test --features builtin-games

	- name: Physics tests
	run: cargo test --features physics

	- name: Parallel tests
	run: cargo test --features parallel

	- name: Builtin physics tests
	run: cargo test --features "builtin-games physics"

	- name: Rendered builtin tests
	run: cargo test --features "render builtin-games physics"

	- name: Render framework check
	run: cargo check --features render

	- name: Rendered builtin check
	run: cargo check --features "render builtin-games"

	- name: WASM check
	run: cargo check --target wasm32-unknown-unknown

	- name: WASM physics check
	run: cargo check --target wasm32-unknown-unknown --features physics

	- name: WASM rendered builtin check
	run: cargo check --target wasm32-unknown-unknown --features "render builtin-games physics"

	- name: Clippy
	run: cargo clippy --all-targets --all-features -- -D warnings

	- name: Bench compile
	run: cargo bench --no-run --features "builtin-games physics"

	kani:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Run Kani proof matrix
	uses: model-checking/kani-github-action@v1
	with:
	kani-version: "0.67.0"
	command: bash
	args: "scripts/run-kani.sh"

Provide feedback