Issue/18 add database crate #15

	name: CI PR

	on:
	pull_request:
	branches:
	- master

	concurrency:
	group: ci-${{ github.ref }}
	cancel-in-progress: true

	env:
	RUST_BACKTRACE: 1
	MIRIFLAGS: "-Zmiri-disable-isolation"

	jobs:
	test:
	name: Test Rust ${{ matrix.rust }} on ${{ matrix.os }}
	runs-on: ${{ matrix.os }}
	strategy:
	fail-fast: false
	matrix:
	include:
	- { rust: nightly, os: ubuntu-latest }
	steps:
	- uses: actions/checkout@v4
	- uses: hecrj/setup-rust-action@v2
	with:
	rust-version: ${{ matrix.rust }}
	- run: cargo test --verbose

	clippy:
	name: Lint with clippy
	runs-on: ubuntu-latest
	env:
	RUSTFLAGS: -Dwarnings
	steps:
	- uses: actions/checkout@v4
	- uses: hecrj/setup-rust-action@v2
	with:
	components: clippy
	rust-version: nightly
	- run: cargo clippy --all-targets --verbose

	rustfmt:
	name: Verify code formatting
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: hecrj/setup-rust-action@v2
	with:
	components: rustfmt
	- run: cargo fmt --all -- --check

	doc:
	name: Verify crate documentation
	runs-on: ubuntu-latest
	env:
	RUSTFLAGS: -Dwarnings
	RUSTDOCFLAGS: -Dwarnings
	steps:
	- uses: actions/checkout@v4
	- uses: hecrj/setup-rust-action@v2
	with:
	rust-version: nightly
	- run: cargo doc --workspace

	miri:
	name: Check for undefined behaviour with miri
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: hecrj/setup-rust-action@v2
	with:
	components: miri
	rust-version: nightly
	- run: cargo miri setup
	- run: cargo miri test

Provide feedback