im: Add truncate method, VectorDiff variant #157

	name: CI

	on:
	workflow_dispatch:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	env:
	CARGO_TERM_COLOR: always

	jobs:
	test:
	name: Run tests (Rust stable)
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2
	- run: cargo test

	docs:
	name: Check documentation (Rust stable)
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@stable
	with:
	components: rustfmt
	- uses: Swatinem/rust-cache@v2
	- run: cargo doc --all-features
	env:
	RUSTDOCFLAGS: "-D warnings"

	test-miri:
	name: Run tests with miri (Rust nightly)
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@nightly
	with:
	components: miri
	- uses: Swatinem/rust-cache@v2
	- run: cargo miri test
	env:
	# Enable Tree Borrows, Stacked Borrows is weirdly restrictive
	# https://github.com/jneem/imbl/issues/59#issuecomment-1569746186
	MIRIFLAGS: "-Zmiri-tree-borrows"

	clippy:
	name: Run clippy (Rust nightly)
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@nightly
	with:
	components: clippy
	- uses: Swatinem/rust-cache@v2
	- run: cargo clippy -- -D warnings

Provide feedback